| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2000-09-27 | Updated web pages, misc improvements. | David Aspinall |
| 2000-09-27 | Fix bug email address to bugs@proofgeneral.org | David Aspinall |
| 2000-09-27 | Added ACL2 | David Aspinall |
| 2000-09-27 | Added yet another new parsing mechanism, bit more rational this time. | David Aspinall |
| 2000-09-27 | Added bugs that were mentioned in manual | David Aspinall |
| 2000-09-27 | Dont use customize-set-variable for add splash logo | David Aspinall |
| 2000-09-27 | Working home page for PG kit | David Aspinall |
| 2000-09-27 | Added kit stuff: just copies of the DTDs at the moment. | David Aspinall |
