aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2000-09-23UpdatedDavid Aspinall
2000-09-23Update date.David Aspinall
2000-09-23proof-display-some-buffers moves point to end of output in response buffer.David Aspinall
2000-09-23Forthcoming news itemDavid Aspinall
2000-09-23Use prover-specific logos rather than generic ones...David Aspinall
2000-09-23Changed size of imageDavid Aspinall
2000-09-23MinorDavid Aspinall
2000-09-23Removed:David Aspinall
2000-09-23Add prover-specific logo rather than generic ones...David Aspinall
2000-09-23Image of the general with ??? badgeDavid Aspinall
2000-09-23Add Pierre's tweakDavid Aspinall
2000-09-23Standard poor X-Symbol support for twelf.David Aspinall
2000-09-23Changes: (actually in previous version)David Aspinall
2000-09-23Deleted fileDavid Aspinall
2000-09-23proof-display-some-buffers improved: toggles between goals and response inDavid Aspinall
2000-09-23Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...David Aspinall
2000-09-23Always activate bug fix -- this file only loaded for FSF Emacs.David Aspinall
2000-09-23Make toolbar enablers work appropriately from non-scripting buffersDavid Aspinall
2000-09-23Call (proof-toolbar-setup) to add toolbar to goals and response bufferDavid Aspinall
2000-09-23Deleted fileDavid Aspinall
2000-09-23Remove require on proof-dependsDavid Aspinall
2000-09-23Update commentsDavid Aspinall
2000-09-23UpdatedDavid Aspinall
2000-09-23Improved(?) goto buttonDavid Aspinall
2000-09-23Remove obsolete xbmsDavid Aspinall
2000-09-23Remove xbm'sDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-23 15:05:46 +0000