| Thu, 17 Jul 2008 21:24:26 +0200 | wenzelm | tuned build order; | changeset | files |
| Thu, 17 Jul 2008 21:23:32 +0200 | wenzelm | proper purge_tmp; | changeset | files |
| Thu, 17 Jul 2008 21:23:08 +0200 | wenzelm | tuned message; | changeset | files |
| Thu, 17 Jul 2008 21:22:44 +0200 | wenzelm | tuned line breaks (NB: generated text is inserted here); | changeset | files |
| Thu, 17 Jul 2008 21:07:17 +0200 | wenzelm | proper usage message; | changeset | files |
| 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 |
| Thu, 17 Jul 2008 17:11:34 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 17 Jul 2008 17:10:53 +0200 | wenzelm | removed old checklist; | changeset | files |
| Thu, 17 Jul 2008 17:03:48 +0200 | wenzelm | obsolete; | changeset | files |
| Thu, 17 Jul 2008 17:01:54 +0200 | wenzelm | tuned; | changeset | files |