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