| Mon, 01 Dec 2008 17:38:17 +0100 | ballarin | Merged again. | changeset | files |
| Mon, 01 Dec 2008 17:37:02 +0100 | ballarin | Merged. | changeset | files |
| Mon, 01 Dec 2008 16:59:31 +0100 | ballarin | No resolution of patterns within context statements. | changeset | files |
| Tue, 02 Dec 2008 17:50:25 +0100 | wenzelm | removed CVS Id; | changeset | files |
| Mon, 01 Dec 2008 17:48:12 +0100 | wenzelm | proper check of ISABELLE_TOOLS directories; | changeset | files |
| Mon, 01 Dec 2008 17:32:40 +0100 | wenzelm | removed obsolete tags (leftover from old CVS branches); | changeset | files |
| Mon, 01 Dec 2008 17:07:06 +0100 | wenzelm | makedist -- make Isabelle source distribution (Mercurial version); | changeset | files |