aboutsummaryrefslogtreecommitdiff
path: root/plastic
AgeCommit message (Expand)Author
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2006-04-26Changed the type of proof-goal-command-p. It takes now a span, whichPierre Courtieu
2006-01-27Fix from PaulDavid Aspinall
2005-08-14Fix plastic-shell-adjust-line-width for mutliple frame mode.David Aspinall
2004-05-07Fix for GNU EmacsDavid Aspinall
2003-06-05Make find-and-forget robust for proverproc regionsDavid Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2002-08-29Fix calls on proof-defshortcutDavid Aspinall
2002-08-28Fix interactive posnDavid Aspinall
2002-08-07Update from PC, sent 5.8.02David Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
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 18:18:37 +0000