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

[Jørgen Villadsen]

Two suggestions:

EPTCS https://eptcs.org http://style.eptcs.org
CEUR-WS http://ceur-ws.org/ https://ceurws.wordpress.com/2020/03/31/ceurws-publishes-ceurart-paper-style/

Jørgen

________________________________________
From: isabelle-dev <isabelle-dev-bounces at mailman46.in.tum.de> on behalf of Makarius <makarius at sketis.net>
Sent: Wednesday, November 2, 2022 13:31
To: isabelle-dev
Subject: [isabelle-dev] NEWS: Demo documents for well-known LaTeX styles

*** Document preparation ***

* Various well-known LaTeX styles are included as Isabelle components,
with demo documents in the regular Isabelle "doc" space:

   - Easychair as session "Demo_Easychair" / doc "demo_easychair"
   - FoilTeX as session "Demo_FoilTeX" / doc "demo_foiltex"
   - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics"


This refers to Isabelle/d0a1f3eb0982.

A few more demo documents are in the pipeline, e.g. Springer LNCS and ACM.

Which other notable LaTeX styles should be covered?


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-dev at in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev