Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Ignore file | 1999-06-24 | |
| | |||
* | Updates and new images | 1999-06-24 | |
| | |||
* | Deleted files. | 1999-06-24 | |
| | |||
* | Change of image | 1999-06-24 | |
| | |||
* | Replaces .eps file | 1999-06-24 | |
| | |||
* | Updates | 1999-06-24 | |
| | |||
* | Deleted files. | 1999-06-24 | |
| | |||
* | Hints Resolve | 1999-06-21 | |
| | |||
* | unkillable buffer bugfix | 1999-06-21 | |
| | |||
* | New front page image. Updated magic. | 1999-06-18 | |
| | |||
* | Docstring | 1999-06-18 | |
| | |||
* | tactics-name-face | 1999-06-18 | |
| | |||
* | better syntax | 1999-06-16 | |
| | |||
* | Removed proof shell kill bug | 1999-06-15 | |
| | |||
* | List of authors/maintainers. | 1999-06-15 | |
| | |||
* | Docstring fixes. | 1999-06-15 | |
| | |||
* | Fixes for XEmacs 21.1 | 1999-06-15 | |
| | |||
* | Bugfixes in proof-shell-exit and proof-shell-kill-function | 1999-06-14 | |
| | |||
* | Added proof-tactics-name-face | 1999-06-14 | |
| | |||
* | Added coq-begin-Section and coq-end-Section | 1999-06-14 | |
| | |||
* | Various updates. coq-end-Section now works properly. | 1999-06-14 | |
| | |||
* | More colors, more regexps, more keywords | 1999-06-09 | |
| | |||
* | various fixes | 1999-06-08 | |
| | |||
* | *** empty log message *** | 1999-06-08 | |
| | |||
* | Dont include plastic/isar in main distribution. | 1999-06-07 | |
| | |||
* | Mention Plastic and Isar | 1999-06-07 | |
| | |||
* | Patched patch for updated proof-site.el | 1999-06-07 | |
| | |||
* | Added todo for XEmacs packaging, reordered. | 1999-06-07 | |
| | |||
* | Patched patch for updated proof-site.el | 1999-06-07 | |
| | |||
* | Comments | 1999-06-07 | |
| | |||
* | Cleaned up docstrings | 1999-06-07 | |
| | |||
* | Set version tag for new release. | 1999-06-07 | |
| | |||
* | Downrated Poly/ML related item since Poly is defunct. | 1999-06-07 | |
| | |||
* | updated; | 1999-06-04 | |
| | |||
* | oops; | 1999-05-27 | |
| | |||
* | removed junk; | 1999-05-27 | |
| | |||
* | provide proof-string-start-regexp, proof-string-end-regexp; | 1999-05-27 | |
| | | | | | | | | 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); | ||
* | renamed undos to undos_proof; | 1999-05-27 | |
| | |||
* | be chatty; | 1999-05-27 | |
| | |||
* | 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 | |
| | |||
* | proper setup for indentation; | 1999-05-26 | |
| | | | | improved cannot-undo; | ||
* | tuned keywords; | 1999-05-26 | |
| | |||
* | added isar-keywords-qed-block; | 1999-05-26 | |
| | |||
* | fixed bug in proof-parse-to-point: missing (setq stack ...) in case of | 1999-05-26 | |
| | | | | closing a proof command; | ||
* | closed string in comment; | 1999-05-26 | |
| | |||
* | more examples; | 1999-05-25 | |
| | |||
* | removed superficial space; | 1999-05-25 | |
| |