| 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 |