aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Default for proof-comment-end that doesn't cause looping in searching for com...Gravatar David Aspinall2000-09-29
* Updated, trimmed down to barebones.Gravatar David Aspinall2000-09-29
* added some comments in coq/todoGravatar Pierre Courtieu2000-09-29
* Make default path to perl be /usr/bin/perlGravatar David Aspinall2000-09-29
* a little change in coq/x-symbol, nothingGravatar Pierre Courtieu2000-09-29
* A little work around for the bug of Coq concerning the restart thatGravatar Pierre Courtieu2000-09-29
* Added Uncaught exception errors in coq-error-regexp.Gravatar Pierre Courtieu2000-09-29
* Date becomes OctGravatar David Aspinall2000-09-28
* Fix web page, at least.Gravatar David Aspinall2000-09-28
* Notes.Gravatar David Aspinall2000-09-28
* TweaksGravatar David Aspinall2000-09-28
* phtml -> htmlGravatar David Aspinall2000-09-28
* Fix URL.Gravatar David Aspinall2000-09-28
* Moved to use .html instead of .phtmlGravatar David Aspinall2000-09-28
* Renamed filesGravatar David Aspinall2000-09-28
* Renamed fileGravatar David Aspinall2000-09-28
* Add FIXMEGravatar David Aspinall2000-09-28
* Fix comment.Gravatar David Aspinall2000-09-28
* Var name change use-new-parsing -> use-new-parser. Turn on font lock by default.Gravatar David Aspinall2000-09-28
* Fix typo, add credit.Gravatar David Aspinall2000-09-28
* isar-web-page;Gravatar Makarius Wenzel2000-09-28
* Set version tag for new release.Gravatar David Aspinall2000-09-28
* Add default targetGravatar David Aspinall2000-09-28
* First (non-working) versions, committed so that doc builds.Gravatar David Aspinall2000-09-28
* Fix dateGravatar David Aspinall2000-09-28
* Dreams about testingGravatar David Aspinall2000-09-28
* Generalize Isabelles atomic file scripting.Gravatar David Aspinall2000-09-28
* Added generic line width adjusting to grand TODOGravatar David Aspinall2000-09-28
* Added extra section on how to tweak script input to the shellGravatar David Aspinall2000-09-28
* Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas...Gravatar David Aspinall2000-09-28
* Added fly past comments to quick opts menu when new parsing mechanism active.Gravatar David Aspinall2000-09-28
* Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. Twe...Gravatar David Aspinall2000-09-28
* Added proof-shell-strip-crs-from-input.Gravatar David Aspinall2000-09-28
* Fixes to twelf support, begins to work now.Gravatar David Aspinall2000-09-28
* ** C func-menu: observe proof-syntactic-context (general problem ofGravatar Makarius Wenzel2000-09-27
* proper spelling: "Leonor Prensa Nieto";Gravatar Makarius Wenzel2000-09-27
* removed broken outline stuff;Gravatar Makarius Wenzel2000-09-27
* tuned docstring;Gravatar Makarius Wenzel2000-09-27
* Set version tag for new release.Gravatar David Aspinall2000-09-27
* UpdatedGravatar David Aspinall2000-09-27
* Updated, mention PG Kit.Gravatar David Aspinall2000-09-27
* proofgeneral email address for meGravatar David Aspinall2000-09-27
* Added future section, fixed URLs. Updated to mention proof-script-sexp-comma...Gravatar David Aspinall2000-09-27
* Shortened BUGs appendix, other improvementsGravatar David Aspinall2000-09-27
* Updated from docGravatar David Aspinall2000-09-27
* Fix URL of sourceGravatar David Aspinall2000-09-27
* Already shrunken general for buggy browsers benefit.Gravatar David Aspinall2000-09-27
* Updated web pages, misc improvements.Gravatar David Aspinall2000-09-27
* Fix bug email address to bugs@proofgeneral.orgGravatar David Aspinall2000-09-27
* Added ACL2Gravatar David Aspinall2000-09-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 10:16:32 +0000