aboutsummaryrefslogtreecommitdiff
path: root/plastic
AgeCommit message (Expand)Author
2000-06-09Removed spurious requires.David Aspinall
2000-06-08adapted to new indentation setup;Makarius Wenzel
2000-05-29Fixed define-key calls. Set useful default for plastic prog nameDavid Aspinall
2000-05-26fixed error in test.lfPaul Callaghan
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-01-06Fixes for short output duplication problem: set proof-shell-eager-annotation-...David Aspinall
1999-11-22proof-shell-done-invisible -> proof-done-invisible againDavid Aspinall
1999-11-17Fix several bugs caused by interface changes.David Aspinall
1999-11-15Change name of proof-execute-minibufer-cmd.David Aspinall
1999-11-15Removed proof-try-command.David Aspinall
1999-11-14Many robustness improvements for error and interrupt handling:David Aspinall
1999-11-12Set font-lock-keywords before calling proof-config-done.David Aspinall
1999-11-11small changes to plastic modePaul Callaghan
1999-11-10Electric (active) terminator is now a user option, does not need forcing here.David Aspinall
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-01Renamed some configuration variables for uniformity, see CHANGES.David Aspinall
1999-09-22proof-completed-regexp: match number 1 is response text;Makarius Wenzel
1999-05-27renamed proof-commands-regexp to proof-indent-commands-regexp, whichMakarius Wenzel
1999-05-12changed use of proof-send (OLD) to proof-shell-insertPaul Callaghan
1999-05-11instantiation for "plastic" proof assistantPaul Callaghan
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:57:15 +0000