aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Make backgroundizeGravatar David Aspinall2000-09-26
* Fix Pauls web addressGravatar David Aspinall2000-09-26
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* Updated for 3.2 releaseGravatar David Aspinall2000-09-26
* TypoGravatar David Aspinall2000-09-26
* Set version tag for new release.Gravatar David Aspinall2000-09-25
* Remove twelf from .tar.gzGravatar David Aspinall2000-09-25
* Add AF2 to RPM package.Gravatar David Aspinall2000-09-25
* Added bits from todo for IsabelleGravatar David Aspinall2000-09-25
* isa-isatool-command: tuned standard places of Isabelle installation;Gravatar Makarius Wenzel2000-09-25
* comment: avoid unbalanced quotes;Gravatar Makarius Wenzel2000-09-25
* Set version tag for new release.Gravatar David Aspinall2000-09-23
* UpdatedGravatar David Aspinall2000-09-23
* Update date.Gravatar David Aspinall2000-09-23
* proof-display-some-buffers moves point to end of output in response buffer.Gravatar David Aspinall2000-09-23
* Forthcoming news itemGravatar David Aspinall2000-09-23
* Use prover-specific logos rather than generic ones...Gravatar David Aspinall2000-09-23
* Changed size of imageGravatar David Aspinall2000-09-23
* MinorGravatar David Aspinall2000-09-23
* Removed:Gravatar David Aspinall2000-09-23
* Add prover-specific logo rather than generic ones...Gravatar David Aspinall2000-09-23
* Image of the general with ??? badgeGravatar David Aspinall2000-09-23
* Add Pierre's tweakGravatar David Aspinall2000-09-23
* Standard poor X-Symbol support for twelf.Gravatar David Aspinall2000-09-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 18:44:45 +0000