aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Fix for rpm braindead globbing.Gravatar David Aspinall2000-09-21
* Fix infodir entry, it got broken somehow.Gravatar David Aspinall2000-09-21
* Add PG-adapting to info files.Gravatar David Aspinall2000-09-21
* tweak 'x-symbol-image-converter to avoid confusing warning;Gravatar Makarius Wenzel2000-09-21
* use plain /bin/sh instead of bash;Gravatar Makarius Wenzel2000-09-21
* Added Prefixes: tagGravatar David Aspinall2000-09-21
* Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ...Gravatar David Aspinall2000-09-21
* Make PG-adapting first so index.html left pointing to main manualGravatar David Aspinall2000-09-21
* added Isabelle symbols for parendblleft/parendblright glyphs (will beGravatar Makarius Wenzel2000-09-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 22:59:47 +0000