equal
deleted
inserted
replaced
18 system The Isabelle System Manual |
18 system The Isabelle System Manual |
19 jedit Isabelle/jEdit |
19 jedit Isabelle/jEdit |
20 |
20 |
21 Demo Documents |
21 Demo Documents |
22 demo_easychair Demo for Easychair style |
22 demo_easychair Demo for Easychair style |
|
23 demo_eptcs Demo for EPTCS style |
23 demo_foiltex Demo for FoilTeX: slides in LaTeX |
24 demo_foiltex Demo for FoilTeX: slides in LaTeX |
24 demo_lipics Demo for Dagstuhl LIPIcs style |
25 demo_lipics Demo for Dagstuhl LIPIcs style |
25 demo_llncs Demo for Springer LaTeX LNCS style |
26 demo_llncs Demo for Springer LaTeX LNCS style |
26 |
27 |
27 Old Isabelle Manuals |
28 Old Isabelle Manuals |