| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-11-10 | Moved proof-file-truename, proof-file-to-buffer, to proof.el | David Aspinall | |
| Made setting font-lock-always-fontify-immediately be buffer local in proof scripts (it's an ugly hack for comma-defontification). | |||
| 1999-11-09 | Generic support for x-symbol tuned up. | David Aspinall | |
| 1999-11-09 | Bug again in call-interactively in proof-toggle-active-scripting. | David Aspinall | |
| Turn on proof-x-symbol mode in proof script mode. | |||
| 1999-11-09 | Bug in proof-toggle-active-scripting interactive calling. | David Aspinall | |
| 1999-11-09 | Arrange for activate-scripting to not block for interactive calls. | David Aspinall | |
| 1999-11-08 | proof-prf-string -> proof-showproof-command | David Aspinall | |
| 1999-11-08 | Comments/messages. | David Aspinall | |
| 1999-11-08 | Copyright messages updated. | David Aspinall | |
| 1999-10-27 | tuned msg; | Makarius Wenzel | |
| 1999-10-25 | Implementation of proof-auto-multiple-files. | David Aspinall | |
| 1999-10-21 | Added symmetric proof-shell-inform-file-retracted-cmd setting to correspond | David Aspinall | |
| with the state change of a buffer from completely processed to partly processed. | |||
| 1999-10-21 | Changed name of proof-shell-cd-cmd for uniformity. | David Aspinall | |
| 1999-10-21 | Changed name to proof-shell-inform-file-processed-cmd | David Aspinall | |
| 1999-10-21 | Added proof-shell-inform-file-processed-command setting. | David Aspinall | |
| 1999-10-20 | Comments in proof-complete-buffer-atomic. | David Aspinall | |
| 1999-10-19 | Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only ↵ | David Aspinall | |
| close off to (proof-script-end), not (point-max). | |||
| 1999-10-18 | Missing cursor move | David Aspinall | |
| 1999-10-15 | FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch. | David Aspinall | |
| 1999-10-14 | Fix missing save-excursion causing bug with proof-process-buffer. | David Aspinall | |
| 1999-10-07 | Fix for older emacsen, maybe. | David Aspinall | |
| 1999-10-06 | Tidy proof-interrupt-process | David Aspinall | |
| 1999-10-06 | Speed optimizations, part I. | David Aspinall | |
| 1999-10-06 | More improvements/fixes for closing unfinished proofs. | David Aspinall | |
| Added proof-unnamed-theorem-name. | |||
| 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 | Support for closing off incomplete goal-saves. | David Aspinall | |
| 1999-10-06 | Cleaned up. Fixed bug in proof-queue-or-locked-end | David Aspinall | |
| 1999-10-06 | BUG FIX: hopefully fixed spurious locked region problem. | David Aspinall | |
| 1999-10-06 | docstring and error message improvements. | David Aspinall | |
| proof-deactivate-scripting: new implementation which allows user choice of retraction or assertion. Forms a subroutine of proof-activate-scripting. proof-activate-scripting: call proof-activate-scripting-hook *after* files are saved. proof-mark-buffer-atomic: set proof-locked end to proof-script-end, not (point-max). New functions: proof-toggle-scripting, proof-auto-deactivate-scripting, proof-script-end | |||
| 1999-10-06 | remove dead code | David Aspinall | |
| 1999-10-06 | proof-try-command is deprecated | David Aspinall | |
| 1999-10-06 | Updates. | David Aspinall | |
| 1999-10-06 | Added proof-retract-buffer symmetric to proof-process-buffer. | David Aspinall | |
| Added question to user when switching scripting buffer, and new option proof-auto-retract-other-buffers to disable question. This reimplements the old "steal scripting?" idea. | |||
| 1999-10-01 | Fixup name changes | David Aspinall | |
| 1999-10-01 | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall | |
| 1999-10-01 | Removed dubious 'dont own process' error in proof-interrupt-process. | David Aspinall | |
| 1999-09-29 | Fixes so that proof-strict-read-only can be toggled within a session (via ↵ | David Aspinall | |
| restart). | |||
| 1999-09-29 | Changed name of proof-copy-span to proof-mouse-track-insert. | David Aspinall | |
| 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-28 | Made Scripting menu entry item on menubar. | David Aspinall | |
| 1999-09-23 | Added menu binding for finding theorems. | David Aspinall | |
| Added extra doc strings to hair macro definitions of functions. | |||
| 1999-09-23 | Added proof-find-theorems and some hairy macros to define related commands. | David Aspinall | |
| 1999-09-22 | Whitespace. | David Aspinall | |
| 1999-09-22 | Comments | David Aspinall | |
| 1999-09-21 | Call proof-state-change-hook after asserting and retracting. | David Aspinall | |
| 1999-09-13 | Removed proof-shell-completed added to eval-when-compile by mistake. | David Aspinall | |
| 1999-09-13 | Added callbacks to refresh toolbar | David Aspinall | |
| 1999-09-13 | Changed peculiar message to something slightly less peculiar | David Aspinall | |
| 1999-09-13 | Experimental fix for proof-shell-completed flag clearing. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |