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

Makarius makarius at sketis.net
Sun Nov 6 22:28:04 CET 2022

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: 

> 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.


More information about the isabelle-dev mailing list