| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-06-15 | List of authors/maintainers. | David Aspinall | |
| 1999-06-15 | Docstring fixes. | David Aspinall | |
| 1999-06-15 | Fixes for XEmacs 21.1 | David Aspinall | |
| 1999-06-14 | Bugfixes in proof-shell-exit and proof-shell-kill-function | Patrick Loiseleur | |
| 1999-06-14 | Added proof-tactics-name-face | Patrick Loiseleur | |
| 1999-06-14 | Added coq-begin-Section and coq-end-Section | Patrick Loiseleur | |
| 1999-06-14 | Various updates. coq-end-Section now works properly. | Patrick Loiseleur | |
| 1999-06-09 | More colors, more regexps, more keywords | Patrick Loiseleur | |
| 1999-06-08 | various fixes | Patrick Loiseleur | |
| 1999-06-08 | *** empty log message *** | Patrick Loiseleur | |
| 1999-06-07 | Dont include plastic/isar in main distribution. | David Aspinall | |
| 1999-06-07 | Mention Plastic and Isar | David Aspinall | |
| 1999-06-07 | Patched patch for updated proof-site.el | David Aspinall | |
| 1999-06-07 | Added todo for XEmacs packaging, reordered. | David Aspinall | |
| 1999-06-07 | Patched patch for updated proof-site.el | David Aspinall | |
| 1999-06-07 | Comments | David Aspinall | |
| 1999-06-07 | Cleaned up docstrings | David Aspinall | |
| 1999-06-07 | Set version tag for new release. | proofgen | |
| 1999-06-07 | Downrated Poly/ML related item since Poly is defunct. | David Aspinall | |
| 1999-06-04 | updated; | Makarius Wenzel | |
| 1999-05-27 | oops; | Makarius Wenzel | |
| 1999-05-27 | removed junk; | Makarius Wenzel | |
| 1999-05-27 | provide proof-string-start-regexp, proof-string-end-regexp; | Makarius Wenzel | |
| renamed proof-commands-regexp to proof-indent-commands-regexp, which is less confusing); improved undo / kill operations; tweaked syntax table to cope with (* *) (actual comment) and {* *} (long string); | |||
| 1999-05-27 | renamed undos to undos_proof; | Makarius Wenzel | |
| 1999-05-27 | be chatty; | Makarius Wenzel | |
| 1999-05-27 | proof-parse-to-point improved to support proof-string-start-regexp, | Makarius Wenzel | |
| 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); | |||
| 1999-05-27 | renamed proof-commands-regexp to proof-indent-commands-regexp, which | Makarius Wenzel | |
| is less confusing); | |||
| 1999-05-27 | improved proof-segment-up-to to support proof-string-start-regexp, | Makarius Wenzel | |
| proof-string-end-regexp; | |||
| 1999-05-27 | added proof-string-start-regexp, proof-string-end-regexp; | Makarius Wenzel | |
| 1999-05-26 | proper setup for indentation; | Makarius Wenzel | |
| improved cannot-undo; | |||
| 1999-05-26 | tuned keywords; | Makarius Wenzel | |
| 1999-05-26 | added isar-keywords-qed-block; | Makarius Wenzel | |
| 1999-05-26 | fixed bug in proof-parse-to-point: missing (setq stack ...) in case of | Makarius Wenzel | |
| closing a proof command; | |||
| 1999-05-26 | closed string in comment; | Makarius Wenzel | |
| 1999-05-25 | more examples; | Makarius Wenzel | |
| 1999-05-25 | removed superficial space; | Makarius Wenzel | |
| 1999-05-25 | added proof-really-save-command-p to support | Makarius Wenzel | |
| more general qed schemes, such as Isabelle/Isar's nested proofs; | |||
| 1999-05-25 | proof-done-advancing: added proof-really-save-command-p to support | Makarius Wenzel | |
| more general qed schemes, such as Isabelle/Isar's nested proofs; | |||
| 1999-05-25 | tuned; | Makarius Wenzel | |
| 1999-05-24 | this version actually generated by Isabelle; | Makarius Wenzel | |
| 1999-05-23 | replaced isar-keywords-section by isar-keywords-theory-heading; | Makarius Wenzel | |
| added isar-not-undoable-commands-regexp; improved isar-cound-undos; proper version of isar-find-and-forget (handles local qeds properly); improved character syntax classes; | |||
| 1999-05-23 | improved classification of keywords (see also isar-keywords.el); | Makarius Wenzel | |
| improved regexps and font-lock; | |||
| 1999-05-23 | Isabelle/Isar keyword classification (used to be in isar-syntax.el); | Makarius Wenzel | |
| 1999-05-23 | tuned usage; | Makarius Wenzel | |
| do not append '/' to PROOFGENERAL_HOME; | |||
| 1999-05-21 | tuned; | Makarius Wenzel | |
| improved isar-find-and-forget; | |||
| 1999-05-21 | tuned -- still quite unsatisfactory; | Makarius Wenzel | |
| 1999-05-21 | made part of the Isabelle sources; | 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-05-17 | several additions, as usual | Patrick Loiseleur | |
| 1999-05-12 | changed use of proof-send (OLD) to proof-shell-insert | Paul Callaghan | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |