| Thu, 15 May 2008 18:12:43 +0200 | wenzelm | updated generated file; | changeset | files |
| Thu, 15 May 2008 18:12:24 +0200 | wenzelm | use ../isabelle.sty, ../isabellesym.sty; | changeset | files |
| Thu, 15 May 2008 18:04:16 +0200 | wenzelm | depend on ../pdfsetup.sty; | changeset | files |
| Thu, 15 May 2008 18:04:02 +0200 | wenzelm | default linkcolor=black; | changeset | files |
| Thu, 15 May 2008 18:03:47 +0200 | wenzelm | clean_name: replace "_" by "-"; | changeset | files |
| Thu, 15 May 2008 17:39:20 +0200 | wenzelm | updated generated file; | changeset | files |
| Thu, 15 May 2008 17:37:21 +0200 | wenzelm | fixed some Isar element markups; | changeset | files |
| Thu, 15 May 2008 17:37:20 +0200 | wenzelm | linkcolor=black (less noisy text); | changeset | files |
| Thu, 15 May 2008 17:37:18 +0200 | wenzelm | hyperref is always enabled (also works with xdvi, dvips); | changeset | files |
| Thu, 15 May 2008 17:37:18 +0200 | wenzelm | depend on ../pdfsetup.sty; | changeset | files |
| Thu, 15 May 2008 17:37:17 +0200 | wenzelm | clean_string: cover <; | changeset | files |
| Thu, 15 May 2008 12:47:19 +0200 | wenzelm | updated generated file; | changeset | files |