isabelle: Changelog

haftmann [Tue, 04 Oct 2005 10:55:14 +0200] rev 17748

fixed broken link

haftmann [Tue, 04 Oct 2005 10:52:43 +0200] rev 17747

fixed broken mailto: link

paulson [Tue, 04 Oct 2005 09:59:01 +0200] rev 17746

fixed the ascii-armouring of goalstring

paulson [Tue, 04 Oct 2005 09:58:38 +0200] rev 17745

reset clause counter

paulson [Tue, 04 Oct 2005 09:58:17 +0200] rev 17744

theorems need names

haftmann [Tue, 04 Oct 2005 09:19:17 +0200] rev 17743

support for setting local permissions

haftmann [Tue, 04 Oct 2005 08:49:24 +0200] rev 17742

improved dependency build

haftmann [Tue, 04 Oct 2005 08:14:15 +0200] rev 17741

added conf/ to .cvsignore

aspinall [Fri, 30 Sep 2005 18:18:34 +0200] rev 17740

Add icon for interface.

aspinall [Fri, 30 Sep 2005 17:54:04 +0200] rev 17739

Move welcomemsg and helpdoc to pgip_isar.xml

isabelle