| Age | Commit message (Expand) | Author |
|---|
| 2002-06-24 | Default to using old parser for now. | David Aspinall |
| 2002-06-24 | use-old-parser setting replaces use-new-parser setting [WARNING: big change] | David Aspinall |
| 2002-06-24 | use-old-parser setting replaces use-new-parser setting [WARNING: big change] | David Aspinall |
| 2002-06-21 | GPL | David Aspinall |
| 2002-06-19 | Doc improvements | David Aspinall |
| 2002-06-18 | Remove global testing and lift-global function; rename proof-nested-goals -> ... | David Aspinall |
| 2002-06-13 | Docs | David Aspinall |
| 2002-06-12 | Add nestedundos setting to span, and proof-nested-undo-regexp setting | David Aspinall |
| 2002-06-11 | Add proof-nesting-depth, new implementation of span amalgamation in proof-don... | David Aspinall |
| 2002-06-08 | Fix keysym to use FSF syntax | David Aspinall |
| 2002-05-03 | Try to support next-error key binding for both Emacs versions. | David Aspinall |
| 2002-05-03 | Craftily set experimental fetures on for devel release. | David Aspinall |
| 2002-03-21 | Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default. | David Aspinall |
| 2002-03-21 | added hook: proof-before-fontify-output-hook | Christophe Raffalli |
| 2002-01-16 | Comments | David Aspinall |
| 2002-01-16 | Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook | David Aspinall |
| 2002-01-16 | Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp | David Aspinall |
| 2001-12-11 | Remove double setting, leave test setting in. | David Aspinall |
| 2001-12-11 | Added proof-trace-output-fontify-enable | David Aspinall |
| 2001-12-11 | Toolbar allowed in GNU Emacs 21 | David Aspinall |
| 2001-09-26 | fixed spelling; | Makarius Wenzel |
| 2001-09-24 | Fix error in docs of stop-silent-command, and name of pre-shell-start-hook. | David Aspinall |
| 2001-09-04 | Add experimental features setting | David Aspinall |
| 2001-09-03 | Change colour of locked region. | David Aspinall |
| 2001-09-03 | Added proof-shell-spill-output-regexp | David Aspinall |
| 2001-08-31 | Add new proof-mouse-highlight-face to use instead of default. Fix dependency... | David Aspinall |
| 2001-08-31 | Add faces for theorem dependencies. | David Aspinall |
| 2001-08-30 | added proof-script-integral-proofs ("Whether the complete text after a | Makarius Wenzel |
| 2001-08-16 | Add hide/show commands instead of make proofs visible | David Aspinall |
| 2001-05-16 | Moved splash settings and basic custom groups elsewhere | David Aspinall |
| 2001-05-08 | Copyright date updated | David Aspinall |
| 2001-03-20 | Fix docstring | David Aspinall |
| 2000-12-14 | Add proof-disappearing-proofs | David Aspinall |
| 2000-11-24 | Added proof-shell-match-pgip-cmd | David Aspinall |
| 2000-10-30 | *** empty log message *** | Christophe Raffalli |
| 2000-09-29 | Default for proof-comment-end that doesn't cause looping in searching for com... | David Aspinall |
| 2000-09-28 | Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas... | David Aspinall |
| 2000-09-27 | Added yet another new parsing mechanism, bit more rational this time. | David Aspinall |
| 2000-09-26 | Fix Proof General web page to www.proofgeneral.org. | David Aspinall |
| 2000-09-21 | Newlines. | David Aspinall |
| 2000-09-20 | Disable toolbar enablers on win32. | David Aspinall |
| 2000-09-14 | Improved docstrings, comments. | David Aspinall |
| 2000-09-13 | Docstring changes for printed docs. | David Aspinall |
| 2000-09-13 | Order change | David Aspinall |
| 2000-09-13 | Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p... | David Aspinall |
| 2000-09-12 | Docs for proof-shell-eager-annotation-start stuff | David Aspinall |
| 2000-09-11 | Added proof-shell-annotated-prompt-regexp to important settings, removed safe... | David Aspinall |
| 2000-09-08 | Rearrangement | David Aspinall |
| 2000-08-29 | Added proof-shell-auto-terminate-commands | David Aspinall |
| 2000-08-28 | Added proof-shell-set-elisp-variable-regexp | David Aspinall |
