| Age | Commit message (Expand) | Author |
|---|
| 2000-09-29 | Comment fix | David Aspinall |
| 2000-09-29 | Parse comments also in proof-script-generic-parse-sexp | David Aspinall |
| 2000-09-29 | Non existent get-window-buffer -> get-buffer-window (how did that get through?) | David Aspinall |
| 2000-09-29 | Default for proof-comment-end that doesn't cause looping in searching for com... | David Aspinall |
| 2000-09-29 | Updated, trimmed down to barebones. | David Aspinall |
| 2000-09-29 | added some comments in coq/todo | Pierre Courtieu |
| 2000-09-29 | Make default path to perl be /usr/bin/perl | David Aspinall |
| 2000-09-29 | a little change in coq/x-symbol, nothing | Pierre Courtieu |
| 2000-09-29 | A little work around for the bug of Coq concerning the restart that | Pierre Courtieu |
| 2000-09-29 | Added Uncaught exception errors in coq-error-regexp. | Pierre Courtieu |
| 2000-09-28 | Date becomes Oct | David Aspinall |
| 2000-09-28 | Fix web page, at least. | David Aspinall |
| 2000-09-28 | Notes. | David Aspinall |
| 2000-09-28 | Tweaks | David Aspinall |
| 2000-09-28 | phtml -> html | David Aspinall |
| 2000-09-28 | Fix URL. | David Aspinall |
| 2000-09-28 | Moved to use .html instead of .phtml | David Aspinall |
| 2000-09-28 | Renamed files | David Aspinall |
| 2000-09-28 | Renamed file | David Aspinall |
| 2000-09-28 | Add FIXME | David Aspinall |
| 2000-09-28 | Fix comment. | David Aspinall |
| 2000-09-28 | Var name change use-new-parsing -> use-new-parser. Turn on font lock by default. | David Aspinall |
| 2000-09-28 | Fix typo, add credit. | David Aspinall |
| 2000-09-28 | isar-web-page; | Makarius Wenzel |
| 2000-09-28 | Set version tag for new release. | David Aspinall |
| 2000-09-28 | Add default target | David Aspinall |
| 2000-09-28 | First (non-working) versions, committed so that doc builds. | David Aspinall |
| 2000-09-28 | Fix date | David Aspinall |
| 2000-09-28 | Dreams about testing | David Aspinall |
| 2000-09-28 | Generalize Isabelles atomic file scripting. | David Aspinall |
| 2000-09-28 | Added generic line width adjusting to grand TODO | David Aspinall |
| 2000-09-28 | Added extra section on how to tweak script input to the shell | David Aspinall |
| 2000-09-28 | Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas... | David Aspinall |
| 2000-09-28 | Added fly past comments to quick opts menu when new parsing mechanism active. | David Aspinall |
| 2000-09-28 | Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. Twe... | David Aspinall |
| 2000-09-28 | Added proof-shell-strip-crs-from-input. | David Aspinall |
| 2000-09-28 | Fixes to twelf support, begins to work now. | David Aspinall |
| 2000-09-27 | ** C func-menu: observe proof-syntactic-context (general problem of | Makarius Wenzel |
| 2000-09-27 | proper spelling: "Leonor Prensa Nieto"; | Makarius Wenzel |
| 2000-09-27 | removed broken outline stuff; | Makarius Wenzel |
| 2000-09-27 | tuned docstring; | Makarius Wenzel |
| 2000-09-27 | Set version tag for new release. | David Aspinall |
| 2000-09-27 | Updated | David Aspinall |
| 2000-09-27 | Updated, mention PG Kit. | David Aspinall |
| 2000-09-27 | proofgeneral email address for me | David Aspinall |
| 2000-09-27 | Added future section, fixed URLs. Updated to mention proof-script-sexp-comma... | David Aspinall |
| 2000-09-27 | Shortened BUGs appendix, other improvements | David Aspinall |
| 2000-09-27 | Updated from doc | David Aspinall |
| 2000-09-27 | Fix URL of source | David Aspinall |
| 2000-09-27 | Already shrunken general for buggy browsers benefit. | David Aspinall |
