2004-05-29 wenzelm [Sat, 29 May 2004 15:11:43 +0200] rev 14845
\<^bsub>/\<^esub> syntax: unbreakable block;
src/HOL/Set.thy

2004-05-29 wenzelm [Sat, 29 May 2004 15:11:06 +0200] rev 14844
Scan.this; tuned;
src/Pure/General/xml.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:10:56 +0200] rev 14843
do *not* export list/list1 -- commas considered special in arg syntax;
src/Pure/Isar/args.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:10:30 +0200] rev 14842
target 'generate';
src/HOL/IsaMakefile

2004-05-29 wenzelm [Sat, 29 May 2004 15:09:47 +0200] rev 14841
avoid Args.list;
src/HOL/Integ/presburger.ML src/HOL/Tools/Presburger/presburger.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:08:21 +0200] rev 14840
handle raw symbols; Output.add_mode;
src/Pure/Thy/latex.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:08:08 +0200] rev 14839
handle raw symbols; Output.add_mode; more robust handling of sub/superscript;
src/Pure/Thy/html.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:07:42 +0200] rev 14838
tuned _dummy_ofsort syntax;
src/Pure/Syntax/type_ext.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:07:29 +0200] rev 14837
added pp_show_brackets; support unbreakable blocks;
src/Pure/Syntax/printer.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:07:05 +0200] rev 14836
transform_error;
TFL/rules.ML src/Pure/Isar/isar_thy.ML