aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* UpdatedGravatar David Aspinall2004-02-08
* Web page todoGravatar David Aspinall2004-02-08
* Renamed fileGravatar David Aspinall2004-02-08
* Updated.Gravatar David Aspinall2004-02-08
* Fix linkGravatar David Aspinall2004-02-08
* Updated.Gravatar David Aspinall2004-02-08
* Comments about prereleasetagGravatar David Aspinall2004-02-08
* Clean releasedir after goliveGravatar David Aspinall2004-02-08
* Try to remove link to ProofGeneral from web area.Gravatar David Aspinall2004-02-08
* Update some urlsGravatar David Aspinall2004-02-08
* Update magicGravatar David Aspinall2004-02-08
* Fix web addressesGravatar David Aspinall2004-02-08
* Tweak goliveGravatar David Aspinall2004-02-08
* Updated.Gravatar David Aspinall2004-02-08
* Update email and web addressesGravatar David Aspinall2004-02-08
* New files.Gravatar David Aspinall2004-02-08
* Updated.Gravatar David Aspinall2004-02-08
* Deleted fileGravatar David Aspinall2004-02-08
* Tweak RELEASEDIR, GOLIVEGravatar David Aspinall2004-02-08
* Fix golive locGravatar David Aspinall2004-02-08
* Updated.Gravatar David Aspinall2004-02-08
* Fix golive, add some .cvsignore to ignored filesGravatar David Aspinall2004-02-08
* Fix globsGravatar David Aspinall2004-02-08
* Fix link to portraitGravatar David Aspinall2004-02-08
* Set version tag for new release.Gravatar David Aspinall2004-02-08
* Tune RPMBUILDGravatar David Aspinall2004-02-08
* info-<x> files seem to be not built now.Gravatar David Aspinall2004-02-08
* Remove development distribution.Gravatar David Aspinall2004-02-07
* Updated.Gravatar David Aspinall2004-02-07
* Updates for moving html out of ProofGeneral dirGravatar David Aspinall2004-02-07
* Updates for moving html out of ProofGeneral dirGravatar David Aspinall2004-02-07
* Deleted fileGravatar David Aspinall2004-02-07
* Updated.Gravatar David Aspinall2004-02-07
* Add options to tag so devel.untag not neededGravatar David Aspinall2004-02-07
* Remove more proofgeneral.org mail aliasesGravatar David Aspinall2004-02-07
* Adjust RELEASEDIR and GOLIVE for pub to /group/project on DICE.Gravatar David Aspinall2004-02-07
* Set version tag for new release.Gravatar David Aspinall2004-02-07
* Fix for pserver return code on updateGravatar David Aspinall2004-02-07
* Add Emacs mode tagGravatar David Aspinall2004-02-07
* UpdatedGravatar David Aspinall2004-02-07
* Updated.Gravatar David Aspinall2004-02-07
* adapting to coq-8.0.Gravatar Pierre Courtieu2004-02-06
* updating for new PG versionGravatar Christophe Raffalli2004-01-30
* Fix blender link (it gets .org, lucky thing)Gravatar David Aspinall2004-01-24
* pre-release coming soonGravatar David Aspinall2004-01-24
* revoke broken indent fixGravatar Gerwin Klein2004-01-19
* Add redirect for ~proofgen on zermelo.dcsGravatar David Aspinall2004-01-15
* Mention Eclipse awardGravatar David Aspinall2004-01-09
* spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>Gravatar Gerwin Klein2003-12-29
* removed bold, no longer supported by x-symbolGravatar Gerwin Klein2003-12-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 09:09:24 +0000