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.
- Projects
- None
- Subscribers
- None