doc-src/System/Thy/Presentation.thy
2008-11-18 ago moved table of standard Isabelle symbols to isar-ref manual;
2008-10-04 ago simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-09-16 ago misc tuning and modernization;
2008-09-15 ago tuned;
2008-09-15 ago converted present.tex;