2005-06-05 wenzelm [Sun, 05 Jun 2005 11:31:21 +0200] rev 16258
File.shell_path;
src/HOL/Modelcheck/mucke_oracle.ML src/HOL/ex/svc_funcs.ML src/Pure/Isar/isar_cmd.ML

2005-06-05 wenzelm [Sun, 05 Jun 2005 11:31:20 +0200] rev 16257
added isatool version;
doc-src/System/misc.tex

2005-06-05 wenzelm [Sun, 05 Jun 2005 11:31:19 +0200] rev 16256
tuned/updated antiquotations;
doc-src/IsarRef/syntax.tex

2005-06-05 wenzelm [Sun, 05 Jun 2005 11:31:18 +0200] rev 16255
updated theory header syntax;
doc-src/IsarRef/pure.tex

2005-06-05 wenzelm [Sun, 05 Jun 2005 11:31:17 +0200] rev 16254
DISCGARB_OPTIONS: proper treatment of specific polyml versions;
the feeder is back (previous version did not really work with Isar.loop);
lib/scripts/run-polyml

2005-06-05 wenzelm [Sun, 05 Jun 2005 11:31:16 +0200] rev 16253
observe ISABELLE_IGNORE_USER_SETTINGS;
lib/scripts/getsettings

2005-06-05 wenzelm [Sun, 05 Jun 2005 11:31:15 +0200] rev 16252
Lucas Dixon;
CONTRIBUTORS

2005-06-05 wenzelm [Sun, 05 Jun 2005 11:31:14 +0200] rev 16251
* ML: replaced File.sysify_path/quote_sysify_path by File.platform_path/shell_path;
tuned;
NEWS

2005-06-05 wenzelm [Sun, 05 Jun 2005 11:31:13 +0200] rev 16250
#SMLNJ_CYGWIN_RUNTIME=1
etc/settings

2005-06-04 haftmann [Sat, 04 Jun 2005 22:45:28 +0200] rev 16249
added README
Admin/website/README