| Mon, 01 Dec 2008 15:22:17 +0100 | wenzelm | renamed makedist_mercurial to makedist, deleting the old version; | changeset | files |
| Mon, 01 Dec 2008 14:46:27 +0100 | wenzelm | updated to python2.5; | changeset | files |
| Mon, 01 Dec 2008 14:42:24 +0100 | wenzelm | convert to isabelle-cvs, the old version; | changeset | files |
| Mon, 01 Dec 2008 14:41:13 +0100 | wenzelm | adapted description: old CVS; | changeset | files |
| Mon, 01 Dec 2008 13:43:32 +0100 | ballarin | Methods intro_locales and unfold_locales apply to both old and new locales. | changeset | files |
| Mon, 01 Dec 2008 12:17:04 +0100 | haftmann | code_include with attach | changeset | files |
| Mon, 01 Dec 2008 12:17:03 +0100 | haftmann | experimental implementation of a well-sorting algorithm | changeset | files |