2009-05-31 wenzelm [Sun, 31 May 2009 14:20:54 +0200] rev 31310
uniform treatment of shellscript mode;
Admin/isatest/isatest-settings Admin/isatest/settings/annomaly Admin/isatest/settings/at-mac-poly-5.1-para Admin/isatest/settings/at-poly Admin/isatest/settings/at-poly-5.1-para-e Admin/isatest/settings/at-poly-dev-e Admin/isatest/settings/at-sml Admin/isatest/settings/at-sml-dev-e Admin/isatest/settings/at-sml-dev-p Admin/isatest/settings/at64-poly Admin/isatest/settings/at64-poly-5.1-para Admin/isatest/settings/at64-sml-dev Admin/isatest/settings/mac-poly Admin/isatest/settings/mac-sml-dev Admin/isatest/settings/sun-poly Admin/isatest/settings/sun-sml Admin/isatest/settings/sun-sml-dev etc/user-settings.sample lib/scripts/timestart.bash lib/scripts/timestop.bash

2009-05-31 wenzelm [Sun, 31 May 2009 14:16:32 +0200] rev 31309
updated example settings;
etc/settings

2009-05-31 wenzelm [Sun, 31 May 2009 14:15:07 +0200] rev 31308
discontinued support for Poly/ML 4.x versions;
Admin/CHECKLIST Admin/isatest/settings/at-poly-4.1.3 Admin/isatest/settings/at-poly-e NEWS etc/settings lib/scripts/run-polyml-4.1.3 lib/scripts/run-polyml-4.1.4 lib/scripts/run-polyml-4.2.0 src/Pure/IsaMakefile src/Pure/ML-Systems/polyml-4.1.3.ML src/Pure/ML-Systems/polyml-4.1.4.ML src/Pure/ML-Systems/polyml-4.2.0.ML src/Pure/ML-Systems/polyml_common.ML src/Pure/ML-Systems/polyml_old_basis.ML src/Pure/ML-Systems/polyml_old_compiler4.ML

2009-05-30 wenzelm [Sat, 30 May 2009 22:37:38 +0200] rev 31307
ISABELLE_USEDIR_OPTIONS: proper word splitting of quoted options (via array variable and special expansion, cf. "$@");
lib/Tools/usedir

2009-05-30 wenzelm [Sat, 30 May 2009 15:53:19 +0200] rev 31306
eliminated old Attrib.add_attributes (and Attrib.syntax);
NEWS src/Pure/Isar/attrib.ML

2009-05-30 wenzelm [Sat, 30 May 2009 15:25:46 +0200] rev 31305
modernized attribute setup;
removed obsolete no_args, add_del_args;
src/Pure/Isar/attrib.ML

2009-05-30 wenzelm [Sat, 30 May 2009 15:00:23 +0200] rev 31304
eliminated old Method.add_method(s);
NEWS src/Pure/Isar/method.ML

2009-05-30 wenzelm [Sat, 30 May 2009 14:26:33 +0200] rev 31303
removed obsolete combinators for method args;
src/Pure/Isar/method.ML

2009-05-30 wenzelm [Sat, 30 May 2009 13:42:40 +0200] rev 31302
proper signature constraint;
modernized method setup;
src/HOL/Decision_Procs/ferrack_tac.ML

2009-05-30 wenzelm [Sat, 30 May 2009 13:12:15 +0200] rev 31301
minimal signature cleanup;
modernized method setup;
src/Tools/eqsubst.ML