| Age | Commit message (Expand) | Author |
|---|
| 2002-07-17 | Add proof-shell-invisible-cmd-get-result | David Aspinall |
| 2002-07-17 | Add pg-subterm-help-cmd | David Aspinall |
| 2002-07-17 | Cleanups | David Aspinall |
| 2002-07-17 | Fix span-string, span-object | David Aspinall |
| 2002-07-16 | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall |
| 2002-07-16 | Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now. | David Aspinall |
| 2002-07-16 | Set version tag for new release. | David Aspinall |
| 2002-07-16 | Fix comment | David Aspinall |
| 2002-07-16 | Refactoring | David Aspinall |
| 2002-07-16 | Comments | David Aspinall |
| 2002-07-16 | Add char-to-int and friends, borrowed from x-symbol-emacs. | David Aspinall |
| 2002-07-16 | Cleaning up PBP code | David Aspinall |
| 2002-07-15 | Set version tag for new release. | David Aspinall |
| 2002-07-14 | Set version tag for new release. | David Aspinall |
| 2002-07-12 | Trivial | David Aspinall |
| 2002-07-12 | condition-case -> ignore-errors, comment. | David Aspinall |
| 2002-07-02 | Add definition of font-lock-preprocessor-face | David Aspinall |
| 2002-07-01 | Set version tag for new release. | David Aspinall |
| 2002-07-01 | Use executable-find | David Aspinall |
| 2002-07-01 | proof-restart: also remove idiom internal spans. | David Aspinall |
| 2002-07-01 | Fix problem with GNU Emacs support: switch to multibyte in output buffers | David Aspinall |
| 2002-06-30 | Fix error catching in proof-deactivate-scripting-auto. | David Aspinall |
| 2002-06-30 | Robustify form GNU Emacs | David Aspinall |
| 2002-06-30 | When killing process or scripting buffer, register file if it is complete, ra... | David Aspinall |
| 2002-06-30 | proof-shell-kill-function: deactivate scripting before shutting down prover | David Aspinall |
| 2002-06-24 | Require x-symbol-vars as recommended for new version (works with old too?) | David Aspinall |
| 2002-06-24 | Disable fly past comments for old parser again. | David Aspinall |
| 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-24 | Also use our own buffer-syntactic-context in XEmacs 21.4. | David Aspinall |
| 2002-06-21 | GPL | David Aspinall |
| 2002-06-20 | Set version tag for new release. | David Aspinall |
| 2002-06-19 | Match FSF C-button3 binding with XEmacs one | David Aspinall |
| 2002-06-19 | Doc improvements | David Aspinall |
| 2002-06-19 | Add proof-shell-last-prompt. | David Aspinall |
| 2002-06-19 | Set version tag for new release. | David Aspinall |
| 2002-06-18 | Remove lift-global function. | David Aspinall |
| 2002-06-18 | Remove global testing and lift-global function; rename proof-nested-goals -> ... | David Aspinall |
| 2002-06-13 | A nil setting of proof-kill-goal-command forces use of proof-find-and-forget ... | David Aspinall |
| 2002-06-13 | Docs | David Aspinall |
| 2002-06-13 | Experiment with showing real prover output for aborted proofs. | David Aspinall |
| 2002-06-12 | Second variant of next-span, without doubly nested loop | David Aspinall |
| 2002-06-12 | Improve imp of next-span | David Aspinall |
| 2002-06-12 | Make hack for XEmacs 21.4 also work for later versions | David Aspinall |
| 2002-06-12 | Adjust proof-nesting depth, add FIXME notes since not right yet | David Aspinall |
| 2002-06-12 | Add nestedundos setting to span, and proof-nested-undo-regexp setting | David Aspinall |
| 2002-06-11 | Only match saves for prover that supports nested proofs (restores old behavio... | David Aspinall |
| 2002-06-11 | Improved proof-nesting-depth (not finished yet) | David Aspinall |
| 2002-06-11 | Add proof-nesting-depth, new implementation of span amalgamation in proof-don... | David Aspinall |
