[isabelle-dev] NEWS: Demo documents for well-known LaTeX styles

[Makarius]

On 06/11/2022 15:53, Jørgen Villadsen wrote:
> Two suggestions:
> 
> EPTCS https://eptcs.org http://style.eptcs.org

Good idea. I have now added EPTCS: 
https://isabelle-dev.sketis.net/rISABELLEd84568379f3f


> CEUR-WS http://ceur-ws.org/ https://ceurws.wordpress.com/2020/03/31/ceurws-publishes-ceurart-paper-
This looks a bit obscure / marginal to me.


	Makarius