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