| Sat, 25 May 2013 15:37:53 +0200 | wenzelm | syntax translations always depend on context; | file | diff | annotate |
| Fri, 17 May 2013 20:53:28 +0200 | wenzelm | renamed 'print_configs' to 'print_options'; | file | diff | annotate |
| Wed, 15 May 2013 20:34:42 +0200 | wenzelm | moved files; | file | diff | annotate |
| Wed, 15 May 2013 20:22:46 +0200 | wenzelm | maintain ProofGeneral preferences within ProofGeneral module; | file | diff | annotate |
| Sat, 30 Mar 2013 14:57:06 +0100 | wenzelm | added 'print_defn_rules' command; | file | diff | annotate |
| Thu, 28 Feb 2013 16:38:17 +0100 | wenzelm | discontinued obsolete 'axioms' command; | file | diff | annotate |
| Wed, 27 Feb 2013 17:32:17 +0100 | wenzelm | discontinued redundant 'use' command; | file | diff | annotate |