HomeIsabelle/Phabricator
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.

Written by makarius on Nov 2 2022, 1:28 PM.
User
Projects
None
Subscribers
None

Event Timeline