aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-09-28Set version tag for new release.David Aspinall
2000-09-28Add default targetDavid Aspinall
2000-09-28First (non-working) versions, committed so that doc builds.David Aspinall
2000-09-28Fix dateDavid Aspinall
2000-09-28Dreams about testingDavid Aspinall
2000-09-28Generalize Isabelles atomic file scripting.David Aspinall
2000-09-28Added generic line width adjusting to grand TODODavid Aspinall
2000-09-28Added extra section on how to tweak script input to the shellDavid Aspinall
2000-09-28Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas...David Aspinall
2000-09-28Added fly past comments to quick opts menu when new parsing mechanism active.David Aspinall
2000-09-28Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. Twe...David Aspinall
2000-09-28Added proof-shell-strip-crs-from-input.David Aspinall
2000-09-28Fixes to twelf support, begins to work now.David Aspinall
2000-09-27** C func-menu: observe proof-syntactic-context (general problem ofMakarius Wenzel
2000-09-27proper spelling: "Leonor Prensa Nieto";Makarius Wenzel
2000-09-27removed broken outline stuff;Makarius Wenzel
2000-09-27tuned docstring;Makarius Wenzel
2000-09-27Set version tag for new release.David Aspinall
2000-09-27UpdatedDavid Aspinall
2000-09-27Updated, mention PG Kit.David Aspinall
2000-09-27proofgeneral email address for meDavid Aspinall
2000-09-27Added future section, fixed URLs. Updated to mention proof-script-sexp-comma...David Aspinall
2000-09-27Shortened BUGs appendix, other improvementsDavid Aspinall
2000-09-27Updated from docDavid Aspinall
2000-09-27Fix URL of sourceDavid Aspinall
2000-09-27Already shrunken general for buggy browsers benefit.David Aspinall
2000-09-27Updated web pages, misc improvements.David Aspinall
2000-09-27Fix bug email address to bugs@proofgeneral.orgDavid Aspinall
2000-09-27Added ACL2David Aspinall
2000-09-27Added yet another new parsing mechanism, bit more rational this time.David Aspinall
2000-09-27Added bugs that were mentioned in manualDavid Aspinall
2000-09-27Dont use customize-set-variable for add splash logoDavid Aspinall
2000-09-27Working home page for PG kitDavid Aspinall
2000-09-27Added kit stuff: just copies of the DTDs at the moment.David Aspinall
2000-09-26Fix adding af2 to RPM.David Aspinall
2000-09-26Remove extra space preventing ChangeLog update.David Aspinall
2000-09-26Set version tag for new release.David Aspinall
2000-09-26Link to Isar instead of Isar/README.David Aspinall
2000-09-26Make backgroundizeDavid Aspinall
2000-09-26Fix Pauls web addressDavid Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-26Updated for 3.2 releaseDavid Aspinall
2000-09-26TypoDavid Aspinall
2000-09-25Set version tag for new release.David Aspinall
2000-09-25Remove twelf from .tar.gzDavid Aspinall
2000-09-25Add AF2 to RPM package.David Aspinall
2000-09-25Added bits from todo for IsabelleDavid Aspinall
2000-09-25isa-isatool-command: tuned standard places of Isabelle installation;Makarius Wenzel
2000-09-25comment: avoid unbalanced quotes;Makarius Wenzel
2000-09-23Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 14:34:07 +0000