| Commit message (Expand) | Author | Age |
* | Make find-and-forget robust for proverproc regions | David Aspinall | 2003-06-05 |
* | Fix some compile errors | David Aspinall | 2003-02-24 |
* | Improved implementation of zap-commas font lock behaviour, patch from Stefan ... | David Aspinall | 2002-08-31 |
* | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | David Aspinall | 2002-07-19 |
* | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall | 2002-07-16 |
* | GPL update | David Aspinall | 2002-06-21 |
* | Default to /usr/bin/perl | David Aspinall | 2002-06-08 |
* | Whitespace | David Aspinall | 2002-01-16 |
* | Coq/lego confusion | David Aspinall | 2001-09-09 |
* | Add specific install instrs, rearrange. | David Aspinall | 2001-09-03 |
* | Change of proof span type back to goalsave | David Aspinall | 2001-08-28 |
* | goalsave -> proof | David Aspinall | 2000-12-20 |
* | Note about alternative path to perl | David Aspinall | 2000-10-02 |
* | 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-29 |
* | Add Pierre's tweak | David Aspinall | 2000-09-23 |
* | basic setup for new indentation code; | Makarius Wenzel | 2000-06-08 |
* | Remove spurious requires. | David Aspinall | 2000-06-01 |
* | 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-29 |
* | proof-defass-default -> defpgdefault | David Aspinall | 2000-05-26 |
* | 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-25 |
* | Fix buttons must be 3 long error (for 20.4 compatibility) | David Aspinall | 2000-05-16 |
* | Remove proof-assistant-menu-entries, done generically now. | David Aspinall | 2000-05-12 |
* | Fix note. | David Aspinall | 2000-05-12 |
* | Changes and compatibility fixes for specific menu/keybindings. | David Aspinall | 2000-05-11 |
* | Added proof-assistant-keymap and commands for defining insert keys. | David Aspinall | 2000-05-02 |
* | Added specific menu for LEGO. | David Aspinall | 2000-05-01 |
* | 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-04-07 |
* | New/updated information files | David Aspinall | 2000-03-13 |
* | Updated headers. | David Aspinall | 2000-03-09 |
* | Added README files for each prover, summarizing status. | David Aspinall | 2000-03-09 |
* | Added new regexp for recognizing LEGO errors. | David Aspinall | 2000-03-08 |
* | Split low-level todo into several files. | David Aspinall | 2000-03-08 |
* | Fixes for short output duplication problem: set proof-shell-eager-annotation-... | David Aspinall | 2000-01-06 |
* | Docstring | David Aspinall | 1999-11-24 |
* | 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 | 1999-11-15 |
* | proof-nested-goals-allowed -> proof-completed-proof-behaviour | David Aspinall | 1999-11-14 |
* | Set font-lock-keywords before calling proof-config-done. | David Aspinall | 1999-11-12 |
* | Changed name of proof-shell-cd-cmd for uniformity. | David Aspinall | 1999-10-21 |
* | More improvements/fixes for closing unfinished proofs. | David Aspinall | 1999-10-06 |
* | Fixed proof-showproof-command | David Aspinall | 1999-10-06 |