| 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 |
| Thu, 17 Jul 2008 16:56:50 +0200 | wenzelm | discontinued maketags; | changeset | files |
| Thu, 17 Jul 2008 16:56:48 +0200 | wenzelm | assume GNU tar and find; | changeset | files |
| Thu, 17 Jul 2008 16:19:06 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 17 Jul 2008 16:17:05 +0200 | wenzelm | use ../isabellesym.sty, which is always available; | changeset | files |
| Thu, 17 Jul 2008 15:35:15 +0200 | wenzelm | Admin/build browser; | changeset | files |
| Thu, 17 Jul 2008 15:33:01 +0200 | wenzelm | less verbosity; | changeset | files |
| Thu, 17 Jul 2008 15:26:04 +0200 | wenzelm | Administrative build -- finish Isabelle source distribution. | changeset | files |
| Thu, 17 Jul 2008 15:21:52 +0200 | krauss | simplified proofs | changeset | files |
| Thu, 17 Jul 2008 13:50:33 +0200 | nipkow | beautified proofs | changeset | files |
| Thu, 17 Jul 2008 13:50:17 +0200 | nipkow | added lemmas | changeset | files |
| Wed, 16 Jul 2008 17:37:59 +0200 | berghofe | Added Standardization theory to nominal examples. | changeset | files |
| Wed, 16 Jul 2008 17:36:44 +0200 | berghofe | Added Standardization theory. | changeset | files |
| Wed, 16 Jul 2008 16:42:13 +0200 | wenzelm | editor model: run interactively for now; | changeset | files |
| Wed, 16 Jul 2008 16:39:11 +0200 | wenzelm | updated generated file; | changeset | files |