src/Pure/proof_general.ML
Mon, 26 Apr 2004 14:57:30 +0200 wenzelm removed obsolete 'undo';
Thu, 15 Apr 2004 13:04:50 +0200 nipkow "haspref" -> "oldhaspref" (David Aspinall)
Thu, 15 Apr 2004 09:33:12 +0200 schirmer bugfix in xsymbols_output
Wed, 14 Apr 2004 15:09:51 +0200 nipkow corrected PG url in comment
Wed, 14 Apr 2004 12:19:16 +0200 schirmer * raw control symbols are of the form \<^raw:...> now.
Tue, 13 Apr 2004 23:08:12 +0200 schirmer * cleaner distinction between control symbols "\<^...>" and "\<^raw...>" in
Tue, 25 Mar 2003 10:03:11 +0100 berghofe Added show_brackets to settings menu.
Mon, 03 Feb 2003 11:07:09 +0100 berghofe Moved print_intros from proof_general.ML to Isar/isar_cmd.ML
Wed, 27 Nov 2002 17:16:47 +0100 berghofe Added some functions for processing PGIP (thanks to David Aspinall).
Mon, 14 Oct 2002 10:44:32 +0200 nipkow Ported find_intro/elim to Isar.
Wed, 28 Aug 2002 15:27:43 +0200 wenzelm improved tell_thm_deps;
Tue, 27 Aug 2002 15:40:58 +0200 wenzelm tuned;
Tue, 27 Aug 2002 11:04:27 +0200 wenzelm result dependency output;
Thu, 18 Jul 2002 12:09:08 +0200 wenzelm fixed inform_file_retracted: remove_thy;
Tue, 02 Jul 2002 17:44:13 +0200 wenzelm thms_containing: optional limit argument;
Tue, 02 Jul 2002 15:38:13 +0200 wenzelm ProofContext.print_thms_containing;
Mon, 21 Jan 2002 22:27:34 +0100 wenzelm full_proofs;
Wed, 16 Jan 2002 21:01:08 +0100 wenzelm tuned title;
Wed, 16 Jan 2002 20:57:02 +0100 wenzelm Interface/proof_general.ML move to proof_general.ML;
less more (0) tip