src/Pure/proof_general.ML
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Thu, 05 Jan 2006 22:29:58 +0100 wenzelm Toplevel.proof_position_of;
Wed, 04 Jan 2006 00:52:42 +0100 wenzelm adapted Toplevel.Proof;
Wed, 16 Nov 2005 14:05:41 +0100 wenzelm pgmlsymbolson: append Symbol.xsymbolsN at end!
Wed, 09 Nov 2005 16:26:45 +0100 wenzelm P.locale_element;
Fri, 21 Oct 2005 18:14:38 +0200 wenzelm OldGoals;
Fri, 30 Sep 2005 17:54:04 +0200 aspinall Move welcomemsg and helpdoc to pgip_isar.xml
Fri, 30 Sep 2005 13:47:36 +0200 aspinall Initialise pgip id also for Emacs mode. Allow dynamic config file location for PGIP.
Tue, 20 Sep 2005 17:01:43 +0200 webertj undone the previous change: show_hyps not supported anymore
Tue, 20 Sep 2005 15:12:40 +0200 webertj new menu item show-sort-hypotheses to toggle show_hyps
Sat, 17 Sep 2005 18:11:29 +0200 wenzelm tuned comments;
Thu, 15 Sep 2005 17:17:05 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Thu, 15 Sep 2005 16:15:22 +0200 aspinall Revert previous attribute name change, problem can be avoided in JAXB.
Thu, 15 Sep 2005 10:33:35 +0200 aspinall Change PGIP attribute name class->messageclass to avoid Java keyword clash.
Thu, 08 Sep 2005 16:09:23 +0200 haftmann introduces some modern-style AList operations
less more (0) -15 tip