| changeset 53775 | ab1ae01b41bc |
| parent 53771 | 17e93676670b |
| child 53776 | 3806bf1d2a33 |
| 53774:729a43c36ccb | 53775:ab1ae01b41bc |
|---|---|
13 |
13 |
14 \isadroptag{theory} |
14 \isadroptag{theory} |
15 |
15 |
16 \isabellestyle{literal} |
16 \isabellestyle{literal} |
17 |
17 |
18 \title{\includegraphics[scale=0.5]{isabelle_pide} \\[4ex] Isabelle/jEdit} |
18 \title{\includegraphics[scale=0.5]{isabelle_jedit} \\[4ex] Isabelle/jEdit} |
19 |
19 |
20 \author{\emph{Makarius Wenzel}} |
20 \author{\emph{Makarius Wenzel}} |
21 |
21 |
22 \makeindex |
22 \makeindex |
23 |
23 |