Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | docstring magic | David Aspinall | 1999-10-12 | |
| | ||||
* | Mention proof-toolbar-use-enablers | David Aspinall | 1999-10-12 | |
| | ||||
* | docstring improved | David Aspinall | 1999-10-12 | |
| | ||||
* | Added proof-toolbar-use-enablers setting, and automatically | David Aspinall | 1999-10-12 | |
| | | | | disable enablers if < XEmacs 21. | |||
* | Added proof-toolbar-use-enablers. | David Aspinall | 1999-10-12 | |
| | | | | | Set some defaults to nil to get sensible error messages instead of failure in Coq. | |||
* | proof-shell-cd: isar-verbatim no longer required; | Makarius Wenzel | 1999-10-07 | |
| | ||||
* | Temporary location of web pages | David Aspinall | 1999-10-07 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 1999-10-07 | |
| | ||||
* | Fixed PRERELEASE_PREFIX. | David Aspinall | 1999-10-07 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 1999-10-07 | |
| | ||||
* | replaced "clear_undo" to "clear_undos"; | Makarius Wenzel | 1999-10-07 | |
| | | | | | replaced "title" by "header"; added "verbatim", "verb"; | |||
* | Fix for older emacsen, maybe. | David Aspinall | 1999-10-07 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 1999-10-06 | |
| | ||||
* | In case Makefile.devel changes, update in make process is not good enough. | David Aspinall | 1999-10-06 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 1999-10-06 | |
| | ||||
* | Usability enhancement | David Aspinall | 1999-10-06 | |
| | ||||
* | Fix for Unnamed_thm: Coq really uses this identifier. | David Aspinall | 1999-10-06 | |
| | ||||
* | Test for Unnamed_thm. | David Aspinall | 1999-10-06 | |
| | ||||
* | after-change-functions only changed locally, only for script buffers. | David Aspinall | 1999-10-06 | |
| | ||||
* | Tidy proof-interrupt-process | David Aspinall | 1999-10-06 | |
| | ||||
* | Comments in proof-shell-filter. | David Aspinall | 1999-10-06 | |
| | ||||
* | Updated | David Aspinall | 1999-10-06 | |
| | ||||
* | Remove LucidaSans, defaults to tt font. | David Aspinall | 1999-10-06 | |
| | ||||
* | News later this month. | David Aspinall | 1999-10-06 | |
| | ||||
* | Updated | David Aspinall | 1999-10-06 | |
| | ||||
* | Updated | David Aspinall | 1999-10-06 | |
| | ||||
* | Speed optimizations, part I. | David Aspinall | 1999-10-06 | |
| | ||||
* | Next version will be 3.0 cvs update | David Aspinall | 1999-10-06 | |
| | ||||
* | Notes on profiling. | David Aspinall | 1999-10-06 | |
| | ||||
* | Updated | David Aspinall | 1999-10-06 | |
| | ||||
* | Fix for state-preserving-p | David Aspinall | 1999-10-06 | |
| | ||||
* | More improvements/fixes for closing unfinished proofs. | David Aspinall | 1999-10-06 | |
| | | | | Added proof-unnamed-theorem-name. | |||
* | Made new command proof-cd to cd to the directory of the current | David Aspinall | 1999-10-06 | |
| | | | | | | buffer. Added a version of it to proof-activate-scripting-hook. Removed cd from initialization sequence. Changed prover specifics accordingly. | |||
* | updates | David Aspinall | 1999-10-06 | |
| | ||||
* | docstring improvements | David Aspinall | 1999-10-06 | |
| | ||||
* | Fixed coalescing of error messages: all error messages from | David Aspinall | 1999-10-06 | |
| | | | | the last command are now show. Added extra docs to clarify behaviour. | |||
* | Support for closing off incomplete goal-saves. | David Aspinall | 1999-10-06 | |
| | ||||
* | Docstrings. Added proof-nested-goals-allowed. | David Aspinall | 1999-10-06 | |
| | ||||
* | Updated | David Aspinall | 1999-10-06 | |
| | ||||
* | Fixed proof-showproof-command | David Aspinall | 1999-10-06 | |
| | ||||
* | Turned off C-c C-l; fixed syntax for old result form; proof-showproof-command. | David Aspinall | 1999-10-06 | |
| | ||||
* | Cleaned up. Fixed bug in proof-queue-or-locked-end | David Aspinall | 1999-10-06 | |
| | ||||
* | docstrings | David Aspinall | 1999-10-06 | |
| | ||||
* | Typo | David Aspinall | 1999-10-06 | |
| | ||||
* | Fixed coq-interrupt-regexp. | David Aspinall | 1999-10-06 | |
| | ||||
* | BUG FIX: hopefully fixed spurious locked region problem. | David Aspinall | 1999-10-06 | |
| | ||||
* | Updated | David Aspinall | 1999-10-06 | |
| | ||||
* | FIXME added | David Aspinall | 1999-10-06 | |
| | ||||
* | Remove coq-Search function, now generic. | David Aspinall | 1999-10-06 | |
| | ||||
* | Note to use C-c C-s to solve Isabelle prob | David Aspinall | 1999-10-06 | |
| |