2005-09-01 wenzelm [Thu, 01 Sep 2005 15:58:08 +0200] rev 17217
added PGASCII print_mode, which represents special chars as ASCII 1 + A ... Z;
tuned;
src/Pure/proof_general.ML

2005-09-01 paulson [Thu, 01 Sep 2005 11:45:54 +0200] rev 17216
improved formatting
src/HOL/Tools/ATP/watcher.ML

2005-09-01 wenzelm [Thu, 01 Sep 2005 00:46:14 +0200] rev 17215
isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;
lib/texinputs/isabelle.sty

2005-09-01 wenzelm [Thu, 01 Sep 2005 00:45:24 +0200] rev 17214
updated;
doc-src/AxClass/Group/document/isabelle.sty doc-src/IsarOverview/Isar/document/isabelle.sty doc-src/LaTeXsugar/Sugar/document/Sugar.tex doc-src/LaTeXsugar/Sugar/document/isabelle.sty doc-src/Locales/Locales/document/isabelle.sty doc-src/TutorialI/isabelle.sty doc-src/ZF/isabelle.sty

2005-08-31 wenzelm [Wed, 31 Aug 2005 18:46:56 +0200] rev 17213
fixed ins_tokentr: AList.default;
src/Pure/Syntax/syntax.ML

2005-08-31 nipkow [Wed, 31 Aug 2005 17:53:35 +0200] rev 17212
comp -> compile
doc-src/TutorialI/CodeGen/CodeGen.thy doc-src/TutorialI/CodeGen/document/CodeGen.tex

2005-08-31 wenzelm [Wed, 31 Aug 2005 15:47:41 +0200] rev 17211
Additional BigO lemmas that require the HOL-Complex logic image;
src/HOL/Complex/ex/BigO_Complex.thy

2005-08-31 wenzelm [Wed, 31 Aug 2005 15:46:49 +0200] rev 17210
added copy-dump option;
src/Pure/Thy/present.ML

2005-08-31 wenzelm [Wed, 31 Aug 2005 15:46:48 +0200] rev 17209
added line break for 'uses';
src/Pure/Thy/html.ML

2005-08-31 wenzelm [Wed, 31 Aug 2005 15:46:47 +0200] rev 17208
added no_body_context;
src/Pure/Isar/toplevel.ML