Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Changed web page to official one. | 1999-11-08 | ||
| | | | | Added x-symbol support (moved here from generic/proof-x-symbol) | |||
* | Copyright messages updated. Autoloads for x-symbol. | 1999-11-08 | ||
| | ||||
* | Copyright messages updated. | 1999-11-08 | ||
| | ||||
* | New section for x-symbol. New custom group for user options. | 1999-11-08 | ||
| | ||||
* | Comments | 1999-11-08 | ||
| | ||||
* | Updated | 1999-11-08 | ||
| | ||||
* | Set version tag for new release. | 1999-11-02 | ||
| | ||||
* | improved proof-shell-error-regexp; | 1999-10-29 | ||
| | ||||
* | update of x-symbol stuff by DvO; | 1999-10-27 | ||
| | ||||
* | updated; | 1999-10-27 | ||
| | ||||
* | (try_)context_thy_only; | 1999-10-27 | ||
| | ||||
* | isa-update-thy-only: 'try' option; | 1999-10-27 | ||
| | ||||
* | test stray ML file; | 1999-10-27 | ||
| | ||||
* | tuned msg; | 1999-10-27 | ||
| | ||||
* | updated; | 1999-10-26 | ||
| | ||||
* | ProofGeneral.inform_file_processed/retracted; | 1999-10-26 | ||
| | | | | improved proof-shell-compute-new-files-list (more robust); | |||
* | tuned proof-shell-error-regexp; | 1999-10-26 | ||
| | ||||
* | isa-keywords-save: removed "result"; | 1999-10-26 | ||
| | | | | | | isa-keywords-commands: added "ProofGeneral.repeat_undo"; added isa-keywords-proof-commands; added isa-verbatim; | |||
* | ProofGeneral.kill_proof: clears goals buffer; | 1999-10-26 | ||
| | | | | | | ProofGeneral.restart; ProofGeneral.inform_file_processed/retracted; improved proof-shell-compute-new-files-list (more robust); | |||
* | replaced remove_thy by kill_thy (more robust); | 1999-10-26 | ||
| | ||||
* | added kill_thy, touch_child_thys; | 1999-10-26 | ||
| | | | | internal ProofGeneral commands; | |||
* | Implementation of proof-auto-multiple-files. | 1999-10-25 | ||
| | ||||
* | Trivial tests for auto multiple files. | 1999-10-25 | ||
| | ||||
* | Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string) | 1999-10-25 | ||
| | ||||
* | Added ProofGeneral.texi to tags target. | 1999-10-25 | ||
| | ||||
* | Added proof-auto-multiple-files. Docstring addition. | 1999-10-25 | ||
| | ||||
* | Made proof-warning and friends take arg list. | 1999-10-25 | ||
| | ||||
* | update by DvO; | 1999-10-22 | ||
| | ||||
* | Set version tag for new release. | 1999-10-22 | ||
| | ||||
* | isar-remove-file: compare basenames only; | 1999-10-22 | ||
| | ||||
* | Typo. | 1999-10-21 | ||
| | ||||
* | Trivial changes | 1999-10-21 | ||
| | ||||
* | Set version tag for new release. | 1999-10-21 | ||
| | ||||
* | Added inform-file-retracted-cmd setting | 1999-10-21 | ||
| | ||||
* | Altered slightly to remove contentious phrase. | 1999-10-21 | ||
| | ||||
* | Added symmetric proof-shell-inform-file-retracted-cmd setting to correspond | 1999-10-21 | ||
| | | | | | with the state change of a buffer from completely processed to partly processed. | |||
* | Documentation about the improved multiple file handling functions. | 1999-10-21 | ||
| | ||||
* | Changed name of proof-shell-cd-cmd for uniformity. | 1999-10-21 | ||
| | ||||
* | todo to improve proof-script-next-entity-regexps. | 1999-10-21 | ||
| | ||||
* | Changed name of proof-shell-cd-cmd for uniformity. | 1999-10-21 | ||
| | ||||
* | Renamed proof-shell-inform-file-processed-cmd | 1999-10-21 | ||
| | ||||
* | Added proof-shell-inform-file-processed-cmd | 1999-10-21 | ||
| | ||||
* | typo | 1999-10-21 | ||
| | ||||
* | Changed name to proof-shell-inform-file-processed-cmd | 1999-10-21 | ||
| | ||||
* | Revised bug section for Isabelle multiple file note. | 1999-10-21 | ||
| | ||||
* | Added proof-shell-inform-file-processed-command setting. | 1999-10-21 | ||
| | ||||
* | docstring | 1999-10-21 | ||
| | ||||
* | A couple of comint symbols are mentioned in the docs | 1999-10-21 | ||
| | ||||
* | Updated for new screenshot | 1999-10-21 | ||
| | ||||
* | New screenshot | 1999-10-21 | ||
| |