src/Pure/Pure.thy
Sat, 25 May 2013 15:37:53 +0200 wenzelm syntax translations always depend on context;
Fri, 17 May 2013 20:53:28 +0200 wenzelm renamed 'print_configs' to 'print_options';
Wed, 15 May 2013 20:34:42 +0200 wenzelm moved files;
Wed, 15 May 2013 20:22:46 +0200 wenzelm maintain ProofGeneral preferences within ProofGeneral module;
Sat, 30 Mar 2013 14:57:06 +0100 wenzelm added 'print_defn_rules' command;
Thu, 28 Feb 2013 16:38:17 +0100 wenzelm discontinued obsolete 'axioms' command;
Wed, 27 Feb 2013 17:32:17 +0100 wenzelm discontinued redundant 'use' command;
less more (0) -30 -10 -7 tip