| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-11-10 | Moved utility function proof-files-to-buffers to proof.el. Fixed local var | David Aspinall | |
| 1999-11-09 | Generic support for x-symbol tuned up. | David Aspinall | |
| 1999-11-08 | Provisional updates for x-symbol support (incomplete) | David Aspinall | |
| 1999-10-27 | update of x-symbol stuff by DvO; | Makarius Wenzel | |
| 1999-10-25 | Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string) | David Aspinall | |
| 1999-10-21 | docstring | David Aspinall | |
| 1999-10-15 | FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch. | David Aspinall | |
| 1999-10-15 | Failed attempt to fix sentinel problem | David Aspinall | |
| 1999-10-15 | comments added. | David Aspinall | |
| 1999-10-15 | Disabled proliferation of proof shell buffers. | David Aspinall | |
| 1999-10-14 | Docstring | David Aspinall | |
| 1999-10-06 | Comments in proof-shell-filter. | David Aspinall | |
| 1999-10-06 | Speed optimizations, part I. | David Aspinall | |
| 1999-10-06 | Made new command proof-cd to cd to the directory of the current | David Aspinall | |
| buffer. Added a version of it to proof-activate-scripting-hook. Removed cd from initialization sequence. Changed prover specifics accordingly. | |||
| 1999-10-06 | Fixed coalescing of error messages: all error messages from | David Aspinall | |
| the last command are now show. Added extra docs to clarify behaviour. | |||
| 1999-10-06 | Added proof-tidy-response user option. | David Aspinall | |
| 1999-10-01 | Fix bug for proof-shell-leave-annotations-in-output. | David Aspinall | |
| 1999-09-29 | Unhappily added proof-shell-leave-annotations-in-output hack. | David Aspinall | |
| 1999-09-29 | Extended documentation for proof-shell-restart. | David Aspinall | |
| 1999-09-29 | Re-enabled proof-by-pointing for testing purposes only. Fixed a bug. | David Aspinall | |
| 1999-09-29 | Improved proof-copy-span and renamed to proof-mouse-track-insert. | David Aspinall | |
| Now will insert into any buffer at point, or behave as mouse-track-insert when called over a non-span (or non-vanilla command span). | |||
| 1999-09-29 | Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to ↵ | David Aspinall | |
| C-button1 | |||
| 1999-09-28 | More reorganizing of menus and keybindings with aim of usability in mind. | David Aspinall | |
| 1999-09-28 | Reorganization of menus: made a single menu but flattened Scripting submenu. | David Aspinall | |
| 1999-09-23 | Trivial. | David Aspinall | |
| 1999-09-22 | proof-completed-regexp: match number 1 is response text; | Makarius Wenzel | |
| 1999-09-22 | Whitespace | David Aspinall | |
| 1999-09-21 | Comment fix. | David Aspinall | |
| Fix for FSF Emacs. | |||
| 1999-09-21 | Robustification so that new instances are easier to add | David Aspinall | |
| (allowed a bunch of regexps to be unset, safely). | |||
| 1999-09-21 | proof-shell-grab-lock runs proof-state-change-hook. | David Aspinall | |
| This results in some flickering of the toolbar (buttons disabled while region is pink), but is The Right Thing. Removed "Inferior" from buffer names. | |||
| 1999-09-21 | Callback for proof-shell-done-invisible now runs proof-state-change-hook. | David Aspinall | |
| 1999-09-13 | Fix so that buffer names are shorter (esp for Coq). | David Aspinall | |
| A fixed version of Patrick's earlier patch. | |||
| 1999-09-09 | tuned x-symbol setup (DvO); | Makarius Wenzel | |
| 1999-08-23 | FIXME to add menu to goals buffer, to match response buffer menu. | David Aspinall | |
| 1999-08-20 | Fix for process kill timeout bug. | David Aspinall | |
| 1999-08-20 | prefer proof-shell-interrupt-regexp over proof-shell-error-regexp | Makarius Wenzel | |
| (interrupts may appear like error messages in Isabelle/Isar); | |||
| 1999-08-20 | Fix for XEmacs 21 | David Aspinall | |
| 1999-07-22 | Reverted change to Inferior buffer's name, it fails on simple | David Aspinall | |
| case of proof-prog-name="isabelle", for example. | |||
| 1999-06-21 | unkillable buffer bugfix | Patrick Loiseleur | |
| 1999-06-14 | Bugfixes in proof-shell-exit and proof-shell-kill-function | Patrick Loiseleur | |
| 1999-06-08 | *** empty log message *** | Patrick Loiseleur | |
| 1999-05-25 | removed superficial space; | Makarius Wenzel | |
| 1999-05-17 | I've added the custom option 'prog-name-guess' in the generic part and | Patrick Loiseleur | |
| the function coq-guess-command-line in the coq part. Every prover should have the functon *-guess-command-line that uses, for example, the output of "make -n" to guess the correct command line options of the prover. Patrick | |||
| 1999-01-15 | Experimental bug fix for Solaris problem | David Aspinall | |
| 1998-12-18 | Beginnings of x-symbol support. | David Aspinall | |
| 1998-12-15 | Fixes for FSF Emacs handling of processes, kill buffer hooks, | David Aspinall | |
| and live/dead overlays. | |||
| 1998-12-15 | made many minor changes to the documentation | Thomas Kleymann | |
| 1998-12-11 | Disabled hack for proof-shell-process-file which allowed | David Aspinall | |
| empty string to stand for filename of current scripting buffer. This added the current script buffer onto the included files list immediately processing it began (if it began with something creating a mark). However, I removed the check for the current scripting buffer so that that could correctly be marked atomic for Isabelle at other times. This resulted in current buffer being marked atomic, and errors. Are there still more errors? | |||
| 1998-12-11 | Removed proof-send, now use proof-shell-insert instead. | David Aspinall | |
| Removed proof-preprocess-input hook function, Paul Callaghan can now use proof-shell-insert-hook instead for his need. | |||
| 1998-12-11 | Disabled span-making part of proof-shell-analyse structure for Emacs 20.3 | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |