| Thu, 17 Jul 2008 20:40:05 +0200 | wenzelm | make Isabelle source distribution (via Mercurial); | changeset | files |
| Thu, 17 Jul 2008 20:15:15 +0200 | wenzelm | explicit Distribution.changelog; | changeset | files |
| Thu, 17 Jul 2008 20:15:14 +0200 | wenzelm | structure Distribution: swapped default for is_official; | changeset | files |
| Thu, 17 Jul 2008 20:15:13 +0200 | wenzelm | ThyInfo.remove_thy; | changeset | files |
| Thu, 17 Jul 2008 20:15:12 +0200 | wenzelm | structure Distribution: swapped default for is_official; | changeset | files |
| Thu, 17 Jul 2008 20:05:19 +0200 | wenzelm | use ../isabelle.sty and ../isabellesym.sty; | changeset | files |