Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Renamed from plastic/plastic.el to obsolete/plastic/plastic.el | David Aspinall | 2010-08-25 |
| | |||
* | plastic-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid | David Aspinall | 2010-07-01 |
| | | | | spurious warning in Emacs 23.2 | ||
* | Functions find-and-forget and count-undos now return lists of commands | David Aspinall | 2009-09-28 |
| | |||
* | Prevent compile warning | David Aspinall | 2009-09-15 |
| | |||
* | Clean compile and update config | David Aspinall | 2009-09-10 |
| | |||
* | p-s-classify-output -> p-s-handle-output, and simplify system-specific hook | David Aspinall | 2009-09-09 |
| | |||
* | Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize ↵ | David Aspinall | 2009-09-08 |
| | | | | LEGO messages) | ||
* | Configuration changes for shell mode revision. | David Aspinall | 2009-09-06 |
| | |||
* | Remove proof-shell-wakeup-char | David Aspinall | 2009-09-06 |
| | |||
* | Clean whitespace | David Aspinall | 2009-09-05 |
| | |||
* | replace-in-string -> replace-regexp-in-string | David Aspinall | 2009-09-04 |
| | |||
* | Remove proof-shell-prompt-pattern, no longer used. | David Aspinall | 2009-09-04 |
| | |||
* | Rename proof-shell-process-output -> proof-shell-classify-output | David Aspinall | 2009-08-14 |
| | |||
* | Fix header | David Aspinall | 2009-05-26 |
| | |||
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
| | |||
* | Updated. | David Aspinall | 2008-02-17 |
| | |||
* | Updated keybinding syntax | David Aspinall | 2008-01-17 |
| | |||
* | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall | 2008-01-15 |
| | |||
* | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall | 2007-08-14 |
| | |||
* | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu | 2006-04-26 |
| | | | | | | allows using a span attribute to detect goal commands. I think I modified all modes accordingly. | ||
* | Fix from Paul | David Aspinall | 2006-01-27 |
| | |||
* | Fix plastic-shell-adjust-line-width for mutliple frame mode. | David Aspinall | 2005-08-14 |
| | |||
* | Fix for GNU Emacs | David Aspinall | 2004-05-07 |
| | |||
* | Make find-and-forget robust for proverproc regions | David Aspinall | 2003-06-05 |
| | |||
* | Fix some compile errors | David Aspinall | 2003-02-24 |
| | |||
* | Fix calls on proof-defshortcut | David Aspinall | 2002-08-29 |
| | |||
* | Fix interactive posn | David Aspinall | 2002-08-28 |
| | |||
* | Update from PC, sent 5.8.02 | David Aspinall | 2002-08-07 |
| | |||
* | Variable name change proof-comment-{start,end}-regexp -> ↵ | David Aspinall | 2002-07-19 |
| | | | | proof-script-comment-{start,end}-regexp. | ||
* | Refactor several variable names; clean up, doc subterm markup and output ↵ | David Aspinall | 2002-07-16 |
| | | | | display. | ||
* | Removed spurious requires. | David Aspinall | 2000-06-09 |
| | |||
* | adapted to new indentation setup; | Makarius Wenzel | 2000-06-08 |
| | |||
* | Fixed define-key calls. Set useful default for plastic prog name | David Aspinall | 2000-05-29 |
| | |||
* | fixed error in test.lf | Paul Callaghan | 2000-05-26 |
| | | | | fixed conflict in plastic.el | ||
* | Added proof-assistant-keymap and commands for defining insert keys. | David Aspinall | 2000-05-02 |
| | |||
* | pbp-mode -> goals-mode | David Aspinall | 2000-04-07 |
| | |||
* | Fixed up proof-shell-proof-completed mess nicely. | David Aspinall | 2000-04-07 |
| | |||
* | Fixes for short output duplication problem: set ↵ | David Aspinall | 2000-01-06 |
| | | | | proof-shell-eager-annotation-start-length. | ||
* | proof-shell-done-invisible -> proof-done-invisible again | David Aspinall | 1999-11-22 |
| | |||
* | Fix several bugs caused by interface changes. | David Aspinall | 1999-11-17 |
| | |||
* | Change name of proof-execute-minibufer-cmd. | David Aspinall | 1999-11-15 |
| | |||
* | Removed proof-try-command. | David Aspinall | 1999-11-15 |
| | |||
* | Many robustness improvements for error and interrupt handling: | David Aspinall | 1999-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. | David Aspinall | 1999-11-12 |
| | |||
* | small changes to plastic mode | Paul Callaghan | 1999-11-11 |
| | |||
* | Electric (active) terminator is now a user option, does not need forcing here. | David Aspinall | 1999-11-10 |
| | |||
* | Changed name of proof-shell-cd-cmd for uniformity. | David Aspinall | 1999-10-21 |
| | |||
* | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall | 1999-10-01 |
| | |||
* | proof-completed-regexp: match number 1 is response text; | Makarius Wenzel | 1999-09-22 |
| | |||
* | renamed proof-commands-regexp to proof-indent-commands-regexp, which | Makarius Wenzel | 1999-05-27 |
| | | | | is less confusing); |