isabelle: Changelog

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;

wenzelm [Thu, 29 Sep 2005 17:08:52 +0200] rev 17725

pdfsetup.sty: better not rely on ifpdf.sty;

paulson [Thu, 29 Sep 2005 17:02:57 +0200] rev 17724

simprules need names

wenzelm [Thu, 29 Sep 2005 15:50:46 +0200] rev 17723

export debug_bounds;

isabelle