| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | 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 |
| * | 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 | 2002-06-11 |
| * | Robustness fixes/bug notes | David Aspinall | 2002-06-08 |
| * | Dont set type property for proof elements (experiment). Tweak name determina... | David Aspinall | 2002-03-21 |
| * | Simplify fix for repeated comments (commentre includes whitespace). | David Aspinall | 2002-01-31 |
| * | Fix problem noticed with Isar and repeated comments. | David Aspinall | 2002-01-31 |
| * | Also bury trace buffer | David Aspinall | 2002-01-16 |
| * | Change to font-lock support routines. | David Aspinall | 2001-12-11 |
| * | Fix problem with C-x C-v by copying buffer-file-name. Add children property t... | David Aspinall | 2001-09-05 |
| * | Nested proof spans are duplicable | David Aspinall | 2001-09-04 |
| * | Show/hide all proofs: add redisplay for FSF | David Aspinall | 2001-09-03 |
| * | Formatting | David Aspinall | 2001-09-03 |
| * | Move theorem dependency code into proof-depends.el. | David Aspinall | 2001-08-31 |
| * | Clean up of proof-depends | David Aspinall | 2001-08-31 |
| * | pg-add-proof-element: removed accidential (?) dynamic scoping on |  Makarius Wenzel | 2001-08-30 |
| * | fixes for FSF Emacs for searching for goal span (don't call goal-command-p on... | David Aspinall | 2001-08-30 |
| * | Change of proof span type back to goalsave fix | David Aspinall | 2001-08-28 |
| * | Trim visibility implementation: | David Aspinall | 2001-08-17 |
| * | Generate intermediate proof span for contents of proof; other becomes 'goalsa... | David Aspinall | 2001-08-16 |
| * | Use proof-looking-at-syntactic-context function from proof-syntax, as suggest... | David Aspinall | 2001-08-10 |
| * | Change buffer-syntactic-context -> proof-buffer-syntactic-context | David Aspinall | 2001-08-10 |
| * | Emacs fix (extent->span). Copyright update. | David Aspinall | 2001-05-03 |
| * | fixed format strings in message, error, etc. | Makarius Wenzel | 2001-01-11 |
| * | Removed accidently committed debugging code | David Aspinall | 2000-12-22 |
David Aspinall
Makarius Wenzel