aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego
Commit message (Expand)AuthorAge
...
* proof-defass-default -> defpgdefaultGravatar David Aspinall2000-05-26
* Revert to previous path for perl, better default for non-linux. Linux uses R...Gravatar David Aspinall2000-05-25
* Patch for synchronization problem in Coq, perhaps others.Gravatar David Aspinall2000-05-25
* Change default path to perlGravatar David Aspinall2000-05-25
* Fix buttons must be 3 long error (for 20.4 compatibility)Gravatar David Aspinall2000-05-16
* Remove proof-assistant-menu-entries, done generically now.Gravatar David Aspinall2000-05-12
* Fix note.Gravatar David Aspinall2000-05-12
* Changes and compatibility fixes for specific menu/keybindings.Gravatar David Aspinall2000-05-11
* Added proof-assistant-keymap and commands for defining insert keys.Gravatar David Aspinall2000-05-02
* Added specific menu for LEGO.Gravatar David Aspinall2000-05-01
* Moved from wrong place.Gravatar David Aspinall2000-04-07
* goals-mode -> pbp-modeGravatar David Aspinall2000-04-07
* Extra decoration.Gravatar David Aspinall2000-04-07
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
* New/updated information filesGravatar David Aspinall2000-03-13
* Updated headers.Gravatar David Aspinall2000-03-09
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09
* Added new regexp for recognizing LEGO errors.Gravatar David Aspinall2000-03-08
* Split low-level todo into several files.Gravatar David Aspinall2000-03-08
* Fixes for short output duplication problem: set proof-shell-eager-annotation-...Gravatar David Aspinall2000-01-06
* DocstringGravatar David Aspinall1999-11-24
* Remove xi, appears in exists.Gravatar David Aspinall1999-11-15
* Use infixes to show off X-SymbolGravatar David Aspinall1999-11-15
* preliminary X-Symbol supportGravatar David Aspinall1999-11-15
* proof-font-lock-zap-commas=tGravatar David Aspinall1999-11-15
* proof-nested-goals-allowed -> proof-completed-proof-behaviourGravatar David Aspinall1999-11-14
* Set font-lock-keywords before calling proof-config-done.Gravatar David Aspinall1999-11-12
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
* More improvements/fixes for closing unfinished proofs.Gravatar David Aspinall1999-10-06
* Fixed proof-showproof-commandGravatar David Aspinall1999-10-06
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
* unified example with other proof assistants;Gravatar Makarius Wenzel1999-09-24
* proof-completed-regexp: match number 1 is response text;Gravatar Makarius Wenzel1999-09-22
* Cleaned up example files so all demonstrate same theorem "conj_comms".Gravatar David Aspinall1999-09-13
* renamed proof-commands-regexp to proof-indent-commands-regexp, whichGravatar Makarius Wenzel1999-05-27
* fixed syntax entry for "_"Gravatar Thomas Kleymann1999-02-03
* Use proof-string-match in appropriate placesGravatar David Aspinall1999-02-01
* documented LEGO specific bugGravatar Thomas Kleymann1998-12-16
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* fixed bug in lego-shell-adjust-line-width (It now monitors theGravatar Thomas Kleymann1998-12-14
* Tidied output by putting newlines before imports done message.Gravatar David Aspinall1998-12-11
* Added support for proof-shell-restart-cmdGravatar Thomas Kleymann1998-12-08
* Replaced proof-pbp-buffer with proof-goals-buffer.Gravatar David Aspinall1998-11-25
* Note about suspected bug in lego-shell-adjust-line-width.Gravatar David Aspinall1998-11-25
* Added setting for proof-goal-command-regexpGravatar David Aspinall1998-11-12
* Removed references of proof-shell-noise-regexpGravatar Thomas Kleymann1998-11-10
* Removed traces of support for Ruy's legogrep. This is superseded by legotags.Gravatar Thomas Kleymann1998-11-10
* new maintainer for LEGO Proof GeneralGravatar Thomas Kleymann1998-11-06
* completed chapter on LEGO Proof GeneralGravatar Thomas Kleymann1998-11-05
* fixed bug with font-lock face namesGravatar Thomas Kleymann1998-11-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-01 16:14:13 +0000