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