isabelle: Changelog

paulson [Mon, 19 Apr 2004 12:12:01 +0200] rev 14629

fixed address

paulson [Mon, 19 Apr 2004 11:35:41 +0200] rev 14628

fixed address

skalberg [Mon, 19 Apr 2004 10:57:26 +0200] rev 14627

Forgot a couple of checks for the quick_and_dirty flag the other day.

kleing [Mon, 19 Apr 2004 09:31:00 +0200] rev 14626

renamed HOL-Import-HOL to HOL4, added to images target

kleing [Mon, 19 Apr 2004 09:27:27 +0200] rev 14625

change quote to Library.quote, fixes LaTeX \isarchardoublequote problem.

kleing [Mon, 19 Apr 2004 08:20:52 +0200] rev 14624

add HOL4

kleing [Mon, 19 Apr 2004 00:45:50 +0200] rev 14623

devel snapshot is now tested

kleing [Mon, 19 Apr 2004 00:00:05 +0200] rev 14622

updated Tobias' address

skalberg [Sat, 17 Apr 2004 23:55:58 +0200] rev 14621

Whoops, forgot a header...

skalberg [Sat, 17 Apr 2004 23:53:35 +0200] rev 14620

Minor cleanup of headers and some speedup of the HOL4 import.

isabelle