equal
deleted
inserted
replaced
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
9 |
9 |
10 *** Document preparation *** |
10 *** Document preparation *** |
11 |
11 |
12 * The Dagstuhl LIPIcs style is included as Isabelle component. The |
12 * Various well-known LaTeX styles are included as Isabelle components, |
13 session "Demo_LIPIcs" provides an example document, which is also |
13 with demo documents in the regular Isabelle "doc" space: |
14 included in the regular Isabelle documentation as "demo_lipics". |
14 |
|
15 - Easychair as session "Demo_Easychair" / doc "demo_easychair" |
|
16 - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics" |
15 |
17 |
16 |
18 |
17 *** HOL *** |
19 *** HOL *** |
18 |
20 |
19 * Theory "HOL.Fun": |
21 * Theory "HOL.Fun": |