Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | prefer proof-shell-interrupt-regexp over proof-shell-error-regexp | 1999-08-20 | |
| | | | | (interrupts may appear like error messages in Isabelle/Isar); | ||
* | Fix for XEmacs 21 | 1999-08-20 | |
| | |||
* | Set version tag for new release. | 1999-08-19 | |
| | |||
* | Set version tag for new release. | 1999-08-17 | |
| | |||
* | Set version tag for new release. | 1999-07-22 | |
| | |||
* | Reverted change to Inferior buffer's name, it fails on simple | 1999-07-22 | |
| | | | | case of proof-prog-name="isabelle", for example. | ||
* | Set version tag for new release. | 1999-07-16 | |
| | |||
* | (goto-char (point-min)) rather than (proof-goto-end-of-locked); | 1999-07-08 | |
| | |||
* | Set version tag for new release. | 1999-07-07 | |
| | |||
* | Set version tag for new release. | 1999-07-03 | |
| | |||
* | fixed some regexp via proof-anchor-regexp; | 1999-07-02 | |
| | |||
* | Set version tag for new release. | 1999-07-02 | |
| | |||
* | Set version tag for new release. | 1999-07-01 | |
| | |||
* | Set version tag for new release. | 1999-06-30 | |
| | |||
* | Set version tag for new release. | 1999-06-28 | |
| | |||
* | Set version tag for new release. | 1999-06-24 | |
| | |||
* | Change of image | 1999-06-24 | |
| | |||
* | unkillable buffer bugfix | 1999-06-21 | |
| | |||
* | Docstring | 1999-06-18 | |
| | |||
* | tactics-name-face | 1999-06-18 | |
| | |||
* | Docstring fixes. | 1999-06-15 | |
| | |||
* | Bugfixes in proof-shell-exit and proof-shell-kill-function | 1999-06-14 | |
| | |||
* | Added proof-tactics-name-face | 1999-06-14 | |
| | |||
* | *** empty log message *** | 1999-06-08 | |
| | |||
* | Cleaned up docstrings | 1999-06-07 | |
| | |||
* | Set version tag for new release. | 1999-06-07 | |
| | |||
* | proof-parse-to-point improved to support proof-string-start-regexp, | 1999-05-27 | |
| | | | | | | | proof-string-end-regexp, proof-comment-end, proof-comment-start, and parentheses according to current syntax table; renamed proof-commands-regexp to proof-indent-commands-regexp, which is less confusing); | ||
* | renamed proof-commands-regexp to proof-indent-commands-regexp, which | 1999-05-27 | |
| | | | | is less confusing); | ||
* | improved proof-segment-up-to to support proof-string-start-regexp, | 1999-05-27 | |
| | | | | proof-string-end-regexp; | ||
* | added proof-string-start-regexp, proof-string-end-regexp; | 1999-05-27 | |
| | |||
* | fixed bug in proof-parse-to-point: missing (setq stack ...) in case of | 1999-05-26 | |
| | | | | closing a proof command; | ||
* | removed superficial space; | 1999-05-25 | |
| | |||
* | added proof-really-save-command-p to support | 1999-05-25 | |
| | | | | more general qed schemes, such as Isabelle/Isar's nested proofs; | ||
* | proof-done-advancing: added proof-really-save-command-p to support | 1999-05-25 | |
| | | | | more general qed schemes, such as Isabelle/Isar's nested proofs; | ||
* | I've added the custom option 'prog-name-guess' in the generic part and | 1999-05-17 | |
| | | | | | | | | | 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 | ||
* | added proof system "plastic", triggered by a .lf extension | 1999-05-11 | |
| | |||
* | Add toggle for proof toolbar to menu | 1999-05-11 | |
| | |||
* | *** empty log message *** | 1999-05-03 | |
| | |||
* | proof-home-directory is correct even if $PROOFGENERAL_HOME does not | 1999-05-03 | |
| | | | | | end with a slash. Moreover, the closure proof-home-directory-fn is added so that this value is not computed at compilation time. | ||
* | added 'isar proof assistant; | 1999-04-16 | |
| | |||
* | Set version tag for new release. | 1999-04-07 | |
| | |||
* | Idea for proof-auto-retract, notes about proof-strict-read-only | 1999-03-08 | |
| | |||
* | Set version tag for new release. | 1999-02-22 | |
| | |||
* | Docstring | 1999-02-22 | |
| | |||
* | Added hack to fix nested @samp @var problem. | 1999-02-22 | |
| | |||
* | Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited. | 1999-02-22 | |
| | |||
* | Fixed bug by shifting configuration of minor mode for active terminator. | 1999-02-22 | |
| | |||
* | Set version tag for new release. | 1999-02-01 | |
| | |||
* | Improved docstring | 1999-02-01 | |
| | |||
* | Used proof-string-match for matching against proof script. | 1999-02-01 | |
| |