aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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
* Changes: (actually in previous version)Gravatar David Aspinall2000-09-23
* Deleted fileGravatar David Aspinall2000-09-23
* proof-display-some-buffers improved: toggles between goals and response inGravatar David Aspinall2000-09-23
* Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...Gravatar David Aspinall2000-09-23
* Always activate bug fix -- this file only loaded for FSF Emacs.Gravatar David Aspinall2000-09-23
* Make toolbar enablers work appropriately from non-scripting buffersGravatar David Aspinall2000-09-23
* Call (proof-toolbar-setup) to add toolbar to goals and response bufferGravatar David Aspinall2000-09-23
* Deleted fileGravatar David Aspinall2000-09-23
* Remove require on proof-dependsGravatar David Aspinall2000-09-23
* Update commentsGravatar David Aspinall2000-09-23
* UpdatedGravatar David Aspinall2000-09-23
* Improved(?) goto buttonGravatar David Aspinall2000-09-23
* Remove obsolete xbmsGravatar David Aspinall2000-09-23
* Remove xbm'sGravatar David Aspinall2000-09-23
* Slightly shorter name for info dir entry.Gravatar David Aspinall2000-09-21
* Set version tag for new release.Gravatar David Aspinall2000-09-21
* Fix globbing some more.Gravatar David Aspinall2000-09-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 18:35:41 +0000