Makarius, Thank you, that is good news! I am not aware of further relevant styles.
Tobias On 02/11/2022 13:31, Makarius wrote:
*** 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-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
