| changeset 61408 | 9020a3ba6c9a |
| parent 60185 | cc71f01f9fde |
| child 61409 | 9d68db31196c |
--- a/src/Doc/JEdit/document/root.tex Mon Oct 12 18:18:48 2015 +0200 +++ b/src/Doc/JEdit/document/root.tex Mon Oct 12 19:32:25 2015 +0200 @@ -18,6 +18,7 @@ \isadroptag{theory} \isabellestyle{literal} +\def\isastylett{\footnotesize\tt} \title{\includegraphics[scale=0.5]{isabelle_jedit} \\[4ex] Isabelle/jEdit}