| Mon, 19 Apr 2004 11:35:41 +0200 | paulson | fixed address | changeset | files |
| 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 |
| Mon, 19 Apr 2004 08:20:52 +0200 | kleing | add HOL4 | changeset | files |
| Mon, 19 Apr 2004 00:45:50 +0200 | kleing | devel snapshot is now tested | changeset | files |
| Mon, 19 Apr 2004 00:00:05 +0200 | kleing | updated Tobias' address | changeset | files |