aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Added yet another new parsing mechanism, bit more rational this time.Gravatar David Aspinall2000-09-27
* Added bugs that were mentioned in manualGravatar David Aspinall2000-09-27
* Dont use customize-set-variable for add splash logoGravatar David Aspinall2000-09-27
* Working home page for PG kitGravatar David Aspinall2000-09-27
* Added kit stuff: just copies of the DTDs at the moment.Gravatar David Aspinall2000-09-27
* Fix adding af2 to RPM.Gravatar David Aspinall2000-09-26
* Remove extra space preventing ChangeLog update.Gravatar David Aspinall2000-09-26
* Set version tag for new release.Gravatar David Aspinall2000-09-26
* Link to Isar instead of Isar/README.Gravatar David Aspinall2000-09-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 22:41:32 +0000