| Sat, 26 Jan 2013 13:49:48 +0100 | wenzelm | clarified NEWS on isabelle build and mkroot; | changeset | files |
| Sat, 26 Jan 2013 13:43:37 +0100 | wenzelm | some explanations of important build options; | changeset | files |
| Sat, 26 Jan 2013 12:45:32 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 25 Jan 2013 20:33:36 +0100 | wenzelm | another attempt to standardize sort order in a portable way; | changeset | files |
| Fri, 25 Jan 2013 20:09:56 +0100 | wenzelm | rebundled polyml-5.5.0-2, which now includes the sources as usual (e.q. required for formal references in Isabelle/ML); | changeset | files |
| Fri, 25 Jan 2013 15:32:01 +0100 | wenzelm | updated for release; | changeset | files |