isabelle: Changelog

paulson [Wed, 13 Jul 2005 15:05:48 +0200] rev 16794

tidied

wenzelm [Wed, 13 Jul 2005 14:56:00 +0200] rev 16793

fixed comment-out;

obua [Wed, 13 Jul 2005 12:24:39 +0200] rev 16792

fix

aspinall [Wed, 13 Jul 2005 12:14:23 +0200] rev 16791

Add management for current working directory

haftmann [Wed, 13 Jul 2005 11:30:37 +0200] rev 16790

(fix for an accidental commit)

aspinall [Wed, 13 Jul 2005 11:29:08 +0200] rev 16789

Note about theorem dependencies including themselves.

aspinall [Wed, 13 Jul 2005 11:28:09 +0200] rev 16788

Fix informtheoryloaded/retracted -> informfileloaded/retracted to match pgip.rnc

haftmann [Wed, 13 Jul 2005 11:16:34 +0200] rev 16787

(intermediate commit)

haftmann [Wed, 13 Jul 2005 10:48:21 +0200] rev 16786

(corrected wrong commit)

haftmann [Wed, 13 Jul 2005 10:44:51 +0200] rev 16785

(intermediate commit)

isabelle