[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:
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
More information about the isabelle-dev
mailing list