| Age | Commit message (Expand) | Author |
|---|
| 2012-08-30 | Summary: Don't quote lambda expressions | Stefan Monnier |
| 2010-08-27 | Replace proof-terminal-char with proof-terminal-string. | David Aspinall |
| 2010-07-01 | lego-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid | David Aspinall |
| 2009-09-28 | Functions find-and-forget and count-undos now return lists of commands | David Aspinall |
| 2009-09-10 | Set right font-lock-keywords | David Aspinall |
| 2009-09-09 | p-s-classify-output -> p-s-handle-output, and simplify system-specific hook | David Aspinall |
| 2009-09-08 | Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L... | David Aspinall |
| 2009-09-07 | lego-shell-process-output -> lego-shell-classify-output | David Aspinall |
| 2009-09-06 | Configuration changes for shell mode revision. | David Aspinall |
| 2009-09-06 | Remove proof-shell-wakeup-char | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-09-05 | Whitespace and require | David Aspinall |
| 2009-09-04 | Remove proof-shell-prompt-pattern, no longer used. | David Aspinall |
| 2009-09-04 | Remove proof-no-command | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-02-17 | Docstring with keymap | David Aspinall |
| 2008-01-31 | Updated. | David Aspinall |
| 2008-01-15 | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall |
| 2007-12-13 | Deleted file | David Aspinall |
| 2007-08-14 | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall |
| 2007-05-10 | Disable unicode use on LEGO, uses escape prefix | David Aspinall |
| 2006-09-22 | Deleted file | David Aspinall |
| 2006-04-26 | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu |
| 2005-08-14 | Fix lego-shell-adjust-line-width for mutliple frame mode. | David Aspinall |
| 2004-04-16 | New files. | David Aspinall |
| 2004-04-14 | Remove X-symbol support from secondary provers temporarily | David Aspinall |
| 2003-06-05 | Make find-and-forget robust for proverproc regions | David Aspinall |
| 2003-02-24 | Fix some compile errors | David Aspinall |
| 2002-08-31 | Improved implementation of zap-commas font lock behaviour, patch from Stefan ... | David Aspinall |
| 2002-07-19 | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | David Aspinall |
| 2002-07-16 | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall |
| 2002-06-21 | GPL update | David Aspinall |
| 2002-06-08 | Default to /usr/bin/perl | David Aspinall |
| 2002-01-16 | Whitespace | David Aspinall |
| 2001-09-09 | Coq/lego confusion | David Aspinall |
| 2001-09-03 | Add specific install instrs, rearrange. | David Aspinall |
| 2001-08-28 | Change of proof span type back to goalsave | David Aspinall |
| 2000-12-20 | goalsave -> proof | David Aspinall |
| 2000-10-02 | Note about alternative path to perl | David Aspinall |
| 2000-09-29 | Make default path to perl be /usr/bin/perl | David Aspinall |
| 2000-09-29 | Added Uncaught exception errors in coq-error-regexp. | Pierre Courtieu |
| 2000-09-23 | Add Pierre's tweak | David Aspinall |
| 2000-06-08 | basic setup for new indentation code; | Makarius Wenzel |
| 2000-06-01 | Remove spurious requires. | David Aspinall |
| 2000-05-29 | Removed use of proof-terminal-string, added explicit terminators everywhere. | David Aspinall |
| 2000-05-29 | Changed keybindings for lego specific functions | David Aspinall |
| 2000-05-26 | proof-defass-default -> defpgdefault | David Aspinall |
| 2000-05-25 | Revert to previous path for perl, better default for non-linux. Linux uses R... | David Aspinall |
| 2000-05-25 | Patch for synchronization problem in Coq, perhaps others. | David Aspinall |
| 2000-05-25 | Change default path to perl | David Aspinall |
