| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2000-05-16 | Fix buttons must be 3 long error (for 20.4 compatibility) | David Aspinall |
| 2000-05-12 | Remove proof-assistant-menu-entries, done generically now. | David Aspinall |
| 2000-05-12 | Fix note. | David Aspinall |
| 2000-05-11 | Changes and compatibility fixes for specific menu/keybindings. | David Aspinall |
| 2000-05-02 | Added proof-assistant-keymap and commands for defining insert keys. | David Aspinall |
| 2000-05-01 | Added specific menu for LEGO. | David Aspinall |
| 2000-04-07 | Moved from wrong place. | David Aspinall |
| 2000-04-07 | goals-mode -> pbp-mode | David Aspinall |
| 2000-04-07 | Extra decoration. | David Aspinall |
| 2000-04-07 | Fixed up proof-shell-proof-completed mess nicely. | David Aspinall |
| 2000-03-13 | New/updated information files | David Aspinall |
| 2000-03-09 | Updated headers. | David Aspinall |
| 2000-03-09 | Added README files for each prover, summarizing status. | David Aspinall |
| 2000-03-08 | Added new regexp for recognizing LEGO errors. | David Aspinall |
| 2000-03-08 | Split low-level todo into several files. | David Aspinall |
| 2000-01-06 | Fixes for short output duplication problem: set proof-shell-eager-annotation-... | David Aspinall |
| 1999-11-24 | Docstring | David Aspinall |
| 1999-11-15 | Remove xi, appears in exists. | David Aspinall |
| 1999-11-15 | Use infixes to show off X-Symbol | David Aspinall |
| 1999-11-15 | preliminary X-Symbol support | David Aspinall |
| 1999-11-15 | proof-font-lock-zap-commas=t | David Aspinall |
