| Age | Commit message (Expand) | Author |
|---|
| 2000-06-05 | proof-next-error, proof-display-some-buffers | David Aspinall |
| 2000-06-05 | Added paragraph and index entry explaining prefix arguments, | David Aspinall |
| 2000-06-05 | Added proof-next-error to menu. | David Aspinall |
| 2000-06-05 | Added settings for proof-next-error. | David Aspinall |
| 2000-06-05 | Added miscellaneous commands section, with proof-display-some-buffers | David Aspinall |
| 2000-06-05 | proof-clean-buffer: clear next error flag if buffer is response. | David Aspinall |
| 2000-06-05 | Tweaked some docstrings. | David Aspinall |
| 2000-06-05 | Added proof-next-error. | David Aspinall |
| 2000-06-05 | Updated to add proof-next-error. | David Aspinall |
| 2000-06-05 | fixed output syntax table; | Makarius Wenzel |
| 2000-06-04 | proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at! | Makarius Wenzel |
| 2000-06-04 | proof-re-search-forward/backward: observe proof-case-fold-search; | Makarius Wenzel |
| 2000-06-04 | replaced isa-verbatim by isabelle-verbatim; | Makarius Wenzel |
| 2000-06-04 | added isabelle-verbatim; | Makarius Wenzel |
| 2000-06-04 | replaced isar-verbatim by isabelle-verbatim; | Makarius Wenzel |
| 2000-06-04 | updated; | Makarius Wenzel |
| 2000-06-04 | replaced isar-verbatim by isabelle-verbatim; | Makarius Wenzel |
| 2000-06-04 | proof-segment-up-to-cmdstart: exclude leading blanks from command string; | Makarius Wenzel |
| 2000-06-03 | improved proof-segment-up-to-cmdstart: handle overlap of command | Makarius Wenzel |
| 2000-06-03 | { } are back; | Makarius Wenzel |
| 2000-06-02 | Added 3 entries in the Coq menu: Print Check and Hints | Pierre Courtieu |
| 2000-06-01 | Set version tag for new release. | David Aspinall |
| 2000-06-01 | Updated | David Aspinall |
| 2000-06-01 | Added autoload | David Aspinall |
| 2000-06-01 | Added links to latest manual | David Aspinall |
| 2000-06-01 | File used to test new parsing mechanism. | David Aspinall |
| 2000-06-01 | New test files for PG kit. | David Aspinall |
| 2000-06-01 | Added proof-comment-{start,end}-regexp. | David Aspinall |
| 2000-06-01 | Updated | David Aspinall |
| 2000-06-01 | Note about generalizing settings mechanism | David Aspinall |
| 2000-06-01 | Removed time setting, added proof-assistant-settings-cmd to init string, but ... | David Aspinall |
| 2000-06-01 | Added a couple of settings for Coq | David Aspinall |
| 2000-06-01 | Allow two strings for boolean settings to handle non-uniformity in Coq | David Aspinall |
| 2000-06-01 | Use proof-running-on-XEmacs variable. | David Aspinall |
| 2000-06-01 | Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if... | David Aspinall |
| 2000-06-01 | Plea for debugging in FSF Emacs | David Aspinall |
| 2000-06-01 | Updated, mentioning new parsing function mechanisms | David Aspinall |
| 2000-06-01 | Remove spurious spaces | David Aspinall |
| 2000-06-01 | Removed now spurious semicolons, 8-). | David Aspinall |
| 2000-06-01 | Temporarily removed keywords { and } for new parsing mechanism | David Aspinall |
| 2000-06-01 | Remove setting of proof-segment-up-to | David Aspinall |
| 2000-06-01 | New file | David Aspinall |
| 2000-06-01 | New parsing functions proof-segment-up-to-cmd{start,end} | David Aspinall |
| 2000-06-01 | Changed 'complete to 'proof-script-complete to use proof-case-fold-search. | David Aspinall |
| 2000-06-01 | Made require on proof-menu instead of proof-script. | David Aspinall |
| 2000-06-01 | Use proof-comment-{start,end}-regexp | David Aspinall |
| 2000-06-01 | Added proof-comment-start-regexp, proof-commend-end-regexp. | David Aspinall |
| 2000-06-01 | Remove spurious requires. | David Aspinall |
| 2000-05-31 | Commented out global-timing since it seems to be Isabelle99-1 specific. | David Aspinall |
| 2000-05-31 | Added old completion table from Isamode. Added code to automatically add com... | David Aspinall |
