isabelle: Changelog

wenzelm [Sun, 05 Jun 2005 11:31:23 +0200] rev 16260

File.platform_path vs. File.shell_path;

wenzelm [Sun, 05 Jun 2005 11:31:22 +0200] rev 16259

File.platform_path;

wenzelm [Sun, 05 Jun 2005 11:31:21 +0200] rev 16258

File.shell_path;

wenzelm [Sun, 05 Jun 2005 11:31:20 +0200] rev 16257

added isatool version;

wenzelm [Sun, 05 Jun 2005 11:31:19 +0200] rev 16256

tuned/updated antiquotations;

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;

isabelle