aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall1999-09-21
* Replaced Patrick with desperate plea for help with Coq PG.Gravatar David Aspinall1999-09-21
* Set version tag for new release.Gravatar David Aspinall1999-09-13
* Mention Yves Bertot on about pageGravatar David Aspinall1999-09-13
* Made a release (ProofGeneral.spec, proof-site.el, download.phtml)Gravatar David Aspinall1999-09-13
* Note about volumeGravatar David Aspinall1999-08-27
* Set version tag for new release.Gravatar David Aspinall1999-08-27
* wordingGravatar David Aspinall1999-08-27
* Added galleryGravatar David Aspinall1999-08-27
* New images for galleryGravatar David Aspinall1999-08-27
* Altered release date for 2.1.Gravatar David Aspinall1999-08-24
* Changes for 2.3 series pre-releases.Gravatar David Aspinall1999-08-23
* Very soon now = nowGravatar David Aspinall1999-08-23
* Set version tag for new release.Gravatar David Aspinall1999-08-23
* Admit that unstable means bugs.Gravatar David Aspinall1999-08-20
* Tweaks for 2.1 releaseGravatar David Aspinall1999-08-20
* Changes for PG 2.1Gravatar David Aspinall1999-08-20
* Set version tag for new release.Gravatar David Aspinall1999-08-20
* Set version tag for new release.Gravatar David Aspinall1999-08-19
* Mention mailing listGravatar David Aspinall1999-08-17
* Mention developers mailing listGravatar David Aspinall1999-08-17
* Mail to majordomo, not daGravatar David Aspinall1999-08-17
* HTML tweaksGravatar David Aspinall1999-08-17
* Set version tag for new release.Gravatar David Aspinall1999-08-17
* Set version tag for new release.Gravatar David Aspinall1999-07-22
* Downgraded Isabelle version to 98-1 againGravatar David Aspinall1999-07-22
* Set version tag for new release.Gravatar David Aspinall1999-07-16
* Set version tag for new release.Gravatar David Aspinall1999-07-07
* Validator address fix.Gravatar David Aspinall1999-07-05
* Tweaks and validation fixes.Gravatar David Aspinall1999-07-03
* Fixed validator address.Gravatar David Aspinall1999-07-03
* CommentGravatar David Aspinall1999-07-03
* Request to register a little more encouraging.Gravatar David Aspinall1999-07-03
* Set version tag for new release.Gravatar David Aspinall1999-07-03
* Set version tag for new release.Gravatar David Aspinall1999-07-02
* Missing space.Gravatar David Aspinall1999-07-02
* Spaces and punctuationGravatar David Aspinall1999-07-02
* Notes about php functions.Gravatar David Aspinall1999-07-02
* Note about doc files absence from devel tarball.Gravatar David Aspinall1999-07-01
* Set version tag for new release.Gravatar David Aspinall1999-07-01
* Attribute LFCS on front pageGravatar David Aspinall1999-06-30
* Removed hack for texi2html, now using hacked texi2html instead.Gravatar David Aspinall1999-06-30
* Streamlined a bitGravatar David Aspinall1999-06-30
* Set version tag for new release.Gravatar David Aspinall1999-06-30
* TweaksGravatar David Aspinall1999-06-30
* Simple hit counterGravatar David Aspinall1999-06-30
* TweakGravatar David Aspinall1999-06-28
* Link for printing download is just .ps.gz now.Gravatar David Aspinall1999-06-28
* Mention Plastic and Isar and release number of Emacs.Gravatar David Aspinall1999-06-28
* Added pg_title variableGravatar David Aspinall1999-06-28