| Commit message (Expand) | Author | Age |
* | 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-24 |
* | GPL | David Aspinall | 2002-06-21 |
* | Doc improvements | David Aspinall | 2002-06-19 |
* | Remove global testing and lift-global function; rename proof-nested-goals -> ... | David Aspinall | 2002-06-18 |
* | Docs | David Aspinall | 2002-06-13 |
* | Add nestedundos setting to span, and proof-nested-undo-regexp setting | David Aspinall | 2002-06-12 |
* | Add proof-nesting-depth, new implementation of span amalgamation in proof-don... | David Aspinall | 2002-06-11 |
* | Fix keysym to use FSF syntax | David Aspinall | 2002-06-08 |
* | 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-05-03 |
* | 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-03-21 |
* | 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 | 2002-01-16 |
* | 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-12-11 |
* | fixed spelling; | Makarius Wenzel | 2001-09-26 |
* | Fix error in docs of stop-silent-command, and name of pre-shell-start-hook. | David Aspinall | 2001-09-24 |
* | Add experimental features setting | David Aspinall | 2001-09-04 |
* | Change colour of locked region. | David Aspinall | 2001-09-03 |
* | Added proof-shell-spill-output-regexp | David Aspinall | 2001-09-03 |
* | 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-31 |
* | added proof-script-integral-proofs ("Whether the complete text after a | Makarius Wenzel | 2001-08-30 |
* | Add hide/show commands instead of make proofs visible | David Aspinall | 2001-08-16 |
* | Moved splash settings and basic custom groups elsewhere | David Aspinall | 2001-05-16 |
* | Copyright date updated | David Aspinall | 2001-05-08 |
* | Fix docstring | David Aspinall | 2001-03-20 |
* | Add proof-disappearing-proofs | David Aspinall | 2000-12-14 |
* | Added proof-shell-match-pgip-cmd | David Aspinall | 2000-11-24 |
* | *** empty log message *** | Christophe Raffalli | 2000-10-30 |
* | Default for proof-comment-end that doesn't cause looping in searching for com... | David Aspinall | 2000-09-29 |
* | Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas... | David Aspinall | 2000-09-28 |
* | Added yet another new parsing mechanism, bit more rational this time. | David Aspinall | 2000-09-27 |
* | Fix Proof General web page to www.proofgeneral.org. | David Aspinall | 2000-09-26 |
* | Newlines. | David Aspinall | 2000-09-21 |
* | Disable toolbar enablers on win32. | David Aspinall | 2000-09-20 |
* | Improved docstrings, comments. | David Aspinall | 2000-09-14 |
* | 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-13 |
* | Docs for proof-shell-eager-annotation-start stuff | David Aspinall | 2000-09-12 |
* | Added proof-shell-annotated-prompt-regexp to important settings, removed safe... | David Aspinall | 2000-09-11 |
* | Rearrangement | David Aspinall | 2000-09-08 |
* | Added proof-shell-auto-terminate-commands | David Aspinall | 2000-08-29 |
* | Added proof-shell-set-elisp-variable-regexp | David Aspinall | 2000-08-28 |