| Age | Commit message (Expand) | Author |
|---|
| 2001-08-10 | 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-05-03 | Emacs fix (extent->span). Copyright update. | David Aspinall |
| 2001-01-11 | fixed format strings in message, error, etc. | Makarius Wenzel |
| 2000-12-22 | Removed accidently committed debugging code | David Aspinall |
| 2000-12-22 | *** empty log message *** | Christophe Raffalli |
| 2000-12-20 | Improvements to span handling | David Aspinall |
| 2000-12-14 | Remove some user-level functions to pg-user. | David Aspinall |
| 2000-12-06 | fixed format strings for (message ...); | Makarius Wenzel |
| 2000-10-30 | *** empty log message *** | Christophe Raffalli |
| 2000-10-27 | *** empty log message *** | Christophe Raffalli |
| 2000-09-29 | Parse comments also in proof-script-generic-parse-sexp | David Aspinall |
| 2000-09-28 | Fix comment. | David Aspinall |
| 2000-09-28 | Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. Twe... | David Aspinall |
| 2000-09-27 | Added yet another new parsing mechanism, bit more rational this time. | David Aspinall |
| 2000-09-23 | Remove require on proof-depends | David Aspinall |
| 2000-09-20 | Comments | David Aspinall |
| 2000-09-18 | Get rid of proof-segment-up-to-old. | David Aspinall |
| 2000-09-15 | added proof-retract-current-goal | Christophe Raffalli |
| 2000-09-15 | added proper call to proof-remove-comment before matching with proof-xxx-with... | Christophe Raffalli |
| 2000-09-14 | Remove FIXME. | David Aspinall |
| 2000-09-13 | Remove ambitious promise to implement proper generic-find-and-forget. | David Aspinall |
| 2000-09-12 | Remove shell important setting from script ones. | David Aspinall |
| 2000-09-11 | Added proof-shell-annotated-prompt-regexp to important settings, removed safe... | David Aspinall |
| 2000-09-08 | Fix obscure problem with proof-segment-upto-cmdstart with buggy input. | David Aspinall |
| 2000-08-14 | Added Fiona's changes, cleaned up a little bit | David Aspinall |
| 2000-08-03 | handle comment inside a command (patch by da); | Makarius Wenzel |
| 2000-07-19 | changes to add theorem dependencies recording in spans | David Aspinall |
| 2000-06-26 | Fix mark buffer atomic problem (caused multiple file oddity with Isar), for n... | David Aspinall |
| 2000-06-16 | proof-script-find-next-entity: support list of match items; | Makarius Wenzel |
| 2000-06-09 | Comment | David Aspinall |
| 2000-06-06 | Added special hack for Isar to include proof-terminal-char in sent string. | David Aspinall |
| 2000-06-04 | proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at! | Makarius Wenzel |
| 2000-06-04 | proof-segment-up-to-cmdstart: exclude leading blanks from command string; | Makarius Wenzel |
| 2000-06-03 | improved proof-segment-up-to-cmdstart: handle overlap of command | Makarius Wenzel |
| 2000-06-01 | Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if... | David Aspinall |
| 2000-06-01 | New parsing functions proof-segment-up-to-cmd{start,end} | David Aspinall |
| 2000-05-31 | Fixes for completion support. | David Aspinall |
| 2000-05-30 | Hairy parsing for Isar. Not finished (or working) yet. | David Aspinall |
| 2000-05-30 | Arg for proof-minibuffer-cmd: compact whitespace in region. | David Aspinall |
| 2000-05-30 | Fixed typo causing bug. Generic parsing updated (still wip) | David Aspinall |
| 2000-05-30 | Added doc of new prefix arg feature for proof-minibuffer-cmd | David Aspinall |
| 2000-05-30 | Added prefix arg to proof-minibuffer-cmd to insert current region. | David Aspinall |
| 2000-05-29 | Added new parsing mechanism. Began removing proof-terminal-string. | David Aspinall |
| 2000-05-26 | Removed proof-script-indent check. | David Aspinall |
| 2000-05-25 | Added completion table code. | David Aspinall |
| 2000-05-16 | Add proof-strict-state-preserving setting | David Aspinall |
| 2000-05-11 | Use proof-deftoggle macro. | David Aspinall |
| 2000-05-09 | Fixup loading. | David Aspinall |
| 2000-05-09 | Removed menus, keybinding. Removed compatibility hacks. Improved loading. | David Aspinall |
