aboutsummaryrefslogtreecommitdiffhomepage
path: root/plastic
Commit message (Collapse)AuthorAge
* Fix for GNU EmacsGravatar David Aspinall2004-05-07
|
* Make find-and-forget robust for proverproc regionsGravatar David Aspinall2003-06-05
|
* Fix some compile errorsGravatar David Aspinall2003-02-24
|
* Fix calls on proof-defshortcutGravatar David Aspinall2002-08-29
|
* Fix interactive posnGravatar David Aspinall2002-08-28
|
* Update from PC, sent 5.8.02Gravatar David Aspinall2002-08-07
|
* Variable name change proof-comment-{start,end}-regexp -> ↵Gravatar David Aspinall2002-07-19
| | | | proof-script-comment-{start,end}-regexp.
* Refactor several variable names; clean up, doc subterm markup and output ↵Gravatar David Aspinall2002-07-16
| | | | display.
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
|
* Removed spurious requires.Gravatar David Aspinall2000-06-09
|
* adapted to new indentation setup;Gravatar Makarius Wenzel2000-06-08
|
* Fixed define-key calls. Set useful default for plastic prog nameGravatar David Aspinall2000-05-29
|
* fixed error in test.lfGravatar Paul Callaghan2000-05-26
| | | | fixed conflict in plastic.el
* Added proof-assistant-keymap and commands for defining insert keys.Gravatar David Aspinall2000-05-02
|
* pbp-mode -> goals-modeGravatar 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
|
* Fixes for short output duplication problem: set ↵Gravatar David Aspinall2000-01-06
| | | | proof-shell-eager-annotation-start-length.
* proof-shell-done-invisible -> proof-done-invisible againGravatar David Aspinall1999-11-22
|
* Fix several bugs caused by interface changes.Gravatar David Aspinall1999-11-17
|
* Change name of proof-execute-minibufer-cmd.Gravatar David Aspinall1999-11-15
|
* Removed proof-try-command.Gravatar David Aspinall1999-11-15
|
* Many robustness improvements for error and interrupt handling:Gravatar David Aspinall1999-11-14
| | | | | | | | | | | | - Introduce proof-shell-error-or-interrupt-seen flag set after an error or interrupt was seen (in fact, on every call to proof-release-lock). Examine it in proof-activate-scripting to see whether hooks succeeded in activating scripting. - Test in the shell filter for the lock being held yet nothing in the action list, and clear the lock if so. Gets rid of repetetive proof-shell-busy messages when the queue is empty (for errors during development, or nasty uses of C-g) - Add a timeout to proof-shell-wait (not used yet)
* Set font-lock-keywords before calling proof-config-done.Gravatar David Aspinall1999-11-12
|
* small changes to plastic modeGravatar Paul Callaghan1999-11-11
|
* Electric (active) terminator is now a user option, does not need forcing here.Gravatar David Aspinall1999-11-10
|
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
|
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
|
* proof-completed-regexp: match number 1 is response text;Gravatar Makarius Wenzel1999-09-22
|
* renamed proof-commands-regexp to proof-indent-commands-regexp, whichGravatar Makarius Wenzel1999-05-27
| | | | is less confusing);
* changed use of proof-send (OLD) to proof-shell-insertGravatar Paul Callaghan1999-05-12
|
* instantiation for "plastic" proof assistantGravatar Paul Callaghan1999-05-11
based on the lego instantiation.