| Commit message (Expand) | Author | Age |
|---|
| * | Fix buglets shown up by byte compilation. |  David Aspinall | 2004-03-01 |
| * | Run checkdoc | David Aspinall | 2003-10-05 |
| * | Add interactive input setting, and extra flags for action. | David Aspinall | 2003-10-05 |
| * | Give text default for hidden proof image. | David Aspinall | 2003-06-16 |
| * | Only give hint about C-c C-. if not already visible | David Aspinall | 2003-06-08 |
| * | Typo | David Aspinall | 2003-06-05 |
| * | Simplify mark-buffer-atomic to just make 'proverproc span. | David Aspinall | 2003-06-05 |
| * | By default, do not move pointer on interrupt, only error; tune hints for spans | David Aspinall | 2003-06-05 |
| * | proof-strict-read-only: only alter locked span if live (bug fix) | David Aspinall | 2003-05-28 |
| * | Buglet in proof-mark-buffer-atomic | David Aspinall | 2003-05-20 |
| * | Comments. | David Aspinall | 2003-04-05 |
| * | Allow proof-strict-read-only to be changed dyamically, add to quick opts menu... | David Aspinall | 2003-03-17 |
| * | More tweaks so that (proof-ass x-symbol-enable) is pervasive. | David Aspinall | 2003-03-17 |
| * | Be more polite with handling of invisibility spec | David Aspinall | 2003-03-14 |
| * | Fix sticky mode properties for X-Symbol | David Aspinall | 2003-03-03 |
| * | Refactor function used for Isar parsing a little. | David Aspinall | 2003-03-01 |
| * | Fix some compile errors | David Aspinall | 2003-02-24 |
| * | Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta) | David Aspinall | 2003-02-22 |
| * | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall | 2003-02-19 |
| * | Add support for MMM mode | David Aspinall | 2003-02-18 |
| * | Refactor proof-config-done for clarity | David Aspinall | 2003-02-18 |
| * | Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing | David Aspinall | 2003-02-05 |
| * | Comments | David Aspinall | 2002-09-14 |
| * | Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments. | David Aspinall | 2002-09-11 |
| * | Improved implementation of zap-commas font lock behaviour, patch from Stefan ... | David Aspinall | 2002-08-31 |
| * | Comments | David Aspinall | 2002-08-31 |
| * | Patch from Stefan Monnier for using nested-comment aware parser on GNU Emacs. | David Aspinall | 2002-08-30 |
| * | Imenu addition, layout fixes, from Stefan Monnier | David Aspinall | 2002-08-29 |
| * | checkdoc induced docstring tweaks. | David Aspinall | 2002-08-28 |
| * | Make font-lock-keywords buffer local for sake of Emacs 21.2. | David Aspinall | 2002-08-28 |
| * | Doc | David Aspinall | 2002-08-09 |
| * | Fix proof-disappearing-proofs; comments | David Aspinall | 2002-08-09 |
| * | Refactor proof-done-advancing by abstracting out new functions; fixes for aut... | David Aspinall | 2002-08-09 |
| * | Generalise proof elements to include comments, show/hiding of comments. | David Aspinall | 2002-08-08 |
| * | Prevent proof spans being duplicated. | David Aspinall | 2002-08-08 |
| * | Use glyph for hidden proofs; add open isearch props; tweak element handling fns. | David Aspinall | 2002-08-08 |
| * | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | David Aspinall | 2002-07-19 |
| * | Add note about proof-generic-state-preserving-p | David Aspinall | 2002-07-17 |
| * | Cleanups | David Aspinall | 2002-07-17 |
| * | condition-case -> ignore-errors, comment. | David Aspinall | 2002-07-12 |
| * | proof-restart: also remove idiom internal spans. | David Aspinall | 2002-07-01 |
| * | Fix error catching in proof-deactivate-scripting-auto. | David Aspinall | 2002-06-30 |
| * | When killing process or scripting buffer, register file if it is complete, ra... | David Aspinall | 2002-06-30 |
| * | use-old-parser setting replaces use-new-parser setting [WARNING: big change] | David Aspinall | 2002-06-24 |
| * | GPL | David Aspinall | 2002-06-21 |
| * | Remove lift-global function. | David Aspinall | 2002-06-18 |
| * | Remove global testing and lift-global function; rename proof-nested-goals -> ... | David Aspinall | 2002-06-18 |
| * | A nil setting of proof-kill-goal-command forces use of proof-find-and-forget ... | David Aspinall | 2002-06-13 |
| * | 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-12 |
David Aspinall