aboutsummaryrefslogtreecommitdiff
path: root/lego
AgeCommit message (Collapse)Author
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-17Docstring with keymapDavid Aspinall
2008-01-31Updated.David Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-13Deleted fileDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-05-10Disable unicode use on LEGO, uses escape prefixDavid Aspinall
2006-09-22Deleted fileDavid Aspinall
2006-04-26Changed the type of proof-goal-command-p. It takes now a span, whichPierre Courtieu
allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
2005-08-14Fix lego-shell-adjust-line-width for mutliple frame mode.David Aspinall
2004-04-16New files.David Aspinall
2004-04-14Remove X-symbol support from secondary provers temporarilyDavid Aspinall
2003-06-05Make find-and-forget robust for proverproc regionsDavid Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ↵David Aspinall
Monnier
2002-07-19Variable name change proof-comment-{start,end}-regexp -> ↵David Aspinall
proof-script-comment-{start,end}-regexp.
2002-07-16Refactor several variable names; clean up, doc subterm markup and output ↵David Aspinall
display.
2002-06-21GPL updateDavid Aspinall
2002-06-08Default to /usr/bin/perlDavid Aspinall
2002-01-16WhitespaceDavid Aspinall
2001-09-09Coq/lego confusionDavid Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2001-08-28Change of proof span type back to goalsaveDavid Aspinall
2000-12-20goalsave -> proofDavid Aspinall
2000-10-02Note about alternative path to perlDavid Aspinall
2000-09-29Make default path to perl be /usr/bin/perlDavid Aspinall
2000-09-29Added Uncaught exception errors in coq-error-regexp.Pierre Courtieu
2000-09-23Add Pierre's tweakDavid Aspinall
2000-06-08basic setup for new indentation code;Makarius Wenzel
2000-06-01Remove spurious requires.David Aspinall
2000-05-29Removed use of proof-terminal-string, added explicit terminators everywhere.David Aspinall
2000-05-29Changed keybindings for lego specific functionsDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 10:31:48 +0000