| Mon, 19 Apr 2004 10:57:26 +0200 | skalberg | Forgot a couple of checks for the quick_and_dirty flag the other day. | changeset | files |
| Mon, 19 Apr 2004 09:31:00 +0200 | kleing | renamed HOL-Import-HOL to HOL4, added to images target | changeset | files |
| Mon, 19 Apr 2004 09:27:27 +0200 | kleing | change quote to Library.quote, fixes LaTeX \isarchardoublequote problem. | changeset | files |