2004-06-09 wenzelm [Wed, 09 Jun 2004 18:54:26 +0200] rev 14903
removed separate logtypes field of syntax;
src/Pure/Syntax/mixfix.ML src/Pure/Syntax/syn_ext.ML src/Pure/Syntax/type_ext.ML

2004-06-09 wenzelm [Wed, 09 Jun 2004 18:54:07 +0200] rev 14902
Path.split_ext; more robust inform_file_processed;
src/Pure/proof_general.ML

2004-06-09 wenzelm [Wed, 09 Jun 2004 18:53:41 +0200] rev 14901
Sign.is_logtype;
src/Pure/Isar/proof_context.ML

2004-06-09 wenzelm [Wed, 09 Jun 2004 18:53:13 +0200] rev 14900
Syntax.default_mode;
src/Pure/Isar/isar_syn.ML src/Pure/goals.ML

2004-06-09 wenzelm [Wed, 09 Jun 2004 18:52:55 +0200] rev 14899
added option 'locale=NAME';
src/Pure/Isar/isar_output.ML

2004-06-09 wenzelm [Wed, 09 Jun 2004 18:52:42 +0200] rev 14898
Url.File;
src/Pure/Thy/present.ML

2004-06-09 wenzelm [Wed, 09 Jun 2004 18:52:11 +0200] rev 14897
* Document preparation: antiquotations provide option 'locale=NAME';
NEWS

2004-06-09 wenzelm [Wed, 09 Jun 2004 18:51:26 +0200] rev 14896
tuned comment;
src/HOL/Infinite_Set.thy

2004-06-09 wenzelm [Wed, 09 Jun 2004 18:51:16 +0200] rev 14895
updated/tuned identifier syntax;
doc-src/IsarRef/syntax.tex

2004-06-09 wenzelm [Wed, 09 Jun 2004 18:51:02 +0200] rev 14894
updated notes on sub-/superscripts;
doc-src/System/symbols.tex