isabelle: Changelog

aspinall [Fri, 30 Sep 2005 17:24:51 +0200] rev 17735

Schema for PGIP

wenzelm [Fri, 30 Sep 2005 15:28:43 +0200] rev 17734

pruned notes about Poly/ML; removed unnecessary rename of Isabelle executable;

wenzelm [Fri, 30 Sep 2005 15:17:04 +0200] rev 17733

converted to Isar theory format;

aspinall [Fri, 30 Sep 2005 13:47:36 +0200] rev 17732

Initialise pgip id also for Emacs mode. Allow dynamic config file location for PGIP.

wenzelm [Fri, 30 Sep 2005 11:43:42 +0200] rev 17731

tuned;

aspinall [Fri, 30 Sep 2005 10:58:11 +0200] rev 17730

Fix for guiconfig -> displayconfig element rename

paulson [Fri, 30 Sep 2005 09:52:46 +0200] rev 17729

theorems need names

wenzelm [Thu, 29 Sep 2005 19:37:20 +0200] rev 17728

refer to $PRG instead of (old) rsync-isabelle;

wenzelm [Thu, 29 Sep 2005 18:01:12 +0200] rev 17727

updated;

wenzelm [Thu, 29 Sep 2005 17:09:11 +0200] rev 17726

updated;

isabelle