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

[Tobias Nipkow]

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-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5535 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20221102/b95d74e0/attachment.bin>