aboutsummaryrefslogtreecommitdiff
path: root/lego
AgeCommit message (Collapse)Author
2000-05-26proof-defass-default -> defpgdefaultDavid Aspinall
2000-05-25Revert to previous path for perl, better default for non-linux. Linux uses ↵David Aspinall
RPM, where its fixed.
2000-05-25Patch for synchronization problem in Coq, perhaps others.David Aspinall
2000-05-25Change default path to perlDavid Aspinall
2000-05-16Fix buttons must be 3 long error (for 20.4 compatibility)David Aspinall
2000-05-12Remove proof-assistant-menu-entries, done generically now.David Aspinall
2000-05-12Fix note.David Aspinall
2000-05-11Changes and compatibility fixes for specific menu/keybindings.David Aspinall
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-05-01Added specific menu for LEGO.David Aspinall
2000-04-07Moved from wrong place.David Aspinall
2000-04-07goals-mode -> pbp-modeDavid Aspinall
2000-04-07Extra decoration.David Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-03-09Updated headers.David Aspinall
2000-03-09Added README files for each prover, summarizing status.David Aspinall
2000-03-08Added new regexp for recognizing LEGO errors.David Aspinall
2000-03-08Split low-level todo into several files.David Aspinall
2000-01-06Fixes for short output duplication problem: set ↵David Aspinall
proof-shell-eager-annotation-start-length.
1999-11-24DocstringDavid Aspinall
1999-11-15Remove xi, appears in exists.David Aspinall
1999-11-15Use infixes to show off X-SymbolDavid Aspinall
1999-11-15preliminary X-Symbol supportDavid Aspinall
1999-11-15proof-font-lock-zap-commas=tDavid Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
Patch for more flexible handling of closing goal...save regions after proof has been completed.
1999-11-12Set font-lock-keywords before calling proof-config-done.David Aspinall
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-06More improvements/fixes for closing unfinished proofs.David Aspinall
Added proof-unnamed-theorem-name.
1999-10-06Fixed proof-showproof-commandDavid Aspinall
1999-10-01Renamed some configuration variables for uniformity, see CHANGES.David Aspinall
1999-09-24unified example with other proof assistants;Makarius Wenzel
1999-09-22proof-completed-regexp: match number 1 is response text;Makarius Wenzel
1999-09-13Cleaned up example files so all demonstrate same theorem "conj_comms".David Aspinall
Would be nice to add more theorems to compare scripts in different systems.
1999-05-27renamed proof-commands-regexp to proof-indent-commands-regexp, whichMakarius Wenzel
is less confusing);
1999-02-03fixed syntax entry for "_"Thomas Kleymann
1999-02-01Use proof-string-match in appropriate placesDavid Aspinall
1998-12-16documented LEGO specific bugThomas Kleymann
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-14fixed bug in lego-shell-adjust-line-width (It now monitors theThomas Kleymann
proof-goals-buffer)
1998-12-11Tidied output by putting newlines before imports done message.David Aspinall
1998-12-08Added support for proof-shell-restart-cmdThomas Kleymann
1998-11-25Replaced proof-pbp-buffer with proof-goals-buffer.David Aspinall
1998-11-25Note about suspected bug in lego-shell-adjust-line-width.David Aspinall
1998-11-12Added setting for proof-goal-command-regexpDavid Aspinall
1998-11-10Removed references of proof-shell-noise-regexpThomas Kleymann
1998-11-10Removed traces of support for Ruy's legogrep. This is superseded by legotags.Thomas Kleymann
1998-11-06new maintainer for LEGO Proof GeneralThomas Kleymann
1998-11-05completed chapter on LEGO Proof GeneralThomas Kleymann
1998-11-03fixed bug with font-lock face namesThomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:01:18 +0000