isabelle: Changelog

wenzelm [Sun, 05 Jun 2005 11:31:18 +0200] rev 16255

updated theory header syntax;

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);

wenzelm [Sun, 05 Jun 2005 11:31:16 +0200] rev 16253

observe ISABELLE_IGNORE_USER_SETTINGS;

wenzelm [Sun, 05 Jun 2005 11:31:15 +0200] rev 16252

Lucas Dixon;

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;

wenzelm [Sun, 05 Jun 2005 11:31:13 +0200] rev 16250

#SMLNJ_CYGWIN_RUNTIME=1

haftmann [Sat, 04 Jun 2005 22:45:28 +0200] rev 16249

added README

isabelle