| Sun, 31 May 2009 15:07:03 +0200 |
wenzelm |
explicit PolyML.install_pp;
|
changeset |
files
|
| Sun, 31 May 2009 15:03:34 +0200 |
wenzelm |
renamed polyml_pp.ML to pp_polyml.ML;
|
changeset |
files
|
| Sun, 31 May 2009 14:51:21 +0200 |
wenzelm |
more modular setup of runtime compilation;
|
changeset |
files
|
| Sun, 31 May 2009 14:46:44 +0200 |
wenzelm |
more precise version information;
|
changeset |
files
|
| Sun, 31 May 2009 14:20:54 +0200 |
wenzelm |
uniform treatment of shellscript mode;
|
changeset |
files
|
| Sun, 31 May 2009 14:16:32 +0200 |
wenzelm |
updated example settings;
|
changeset |
files
|
| Sun, 31 May 2009 14:15:07 +0200 |
wenzelm |
discontinued support for Poly/ML 4.x versions;
|
changeset |
files
|
| Sat, 30 May 2009 22:37:38 +0200 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: proper word splitting of quoted options (via array variable and special expansion, cf. "$@");
|
changeset |
files
|
| Sat, 30 May 2009 15:53:19 +0200 |
wenzelm |
eliminated old Attrib.add_attributes (and Attrib.syntax);
|
changeset |
files
|
| Sat, 30 May 2009 15:25:46 +0200 |
wenzelm |
modernized attribute setup;
|
changeset |
files
|
| Sat, 30 May 2009 15:00:23 +0200 |
wenzelm |
eliminated old Method.add_method(s);
|
changeset |
files
|
| Sat, 30 May 2009 14:26:33 +0200 |
wenzelm |
removed obsolete combinators for method args;
|
changeset |
files
|
| Sat, 30 May 2009 13:42:40 +0200 |
wenzelm |
proper signature constraint;
|
changeset |
files
|
| Sat, 30 May 2009 13:12:15 +0200 |
wenzelm |
minimal signature cleanup;
|
changeset |
files
|