| Thu, 15 Apr 2004 20:31:30 +0200 | wenzelm | fixed width; | changeset | files |
| Thu, 15 Apr 2004 20:30:50 +0200 | wenzelm | finalconsts RepC AbsC; | changeset | files |
| Thu, 15 Apr 2004 14:17:45 +0200 | nipkow | Added ex/Exceptions.thy | changeset | files |
| Thu, 15 Apr 2004 13:04:50 +0200 | nipkow | "haspref" -> "oldhaspref" (David Aspinall) | changeset | files |
| Thu, 15 Apr 2004 09:33:12 +0200 | schirmer | bugfix in xsymbols_output | changeset | files |
| Wed, 14 Apr 2004 15:09:51 +0200 | nipkow | corrected PG url in comment | changeset | files |
| Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | changeset | files |