Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Set version tag for new release. | David Aspinall | 1999-09-21 |
| | |||
* | Replaced Patrick with desperate plea for help with Coq PG. | David Aspinall | 1999-09-21 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-09-13 |
| | |||
* | Mention Yves Bertot on about page | David Aspinall | 1999-09-13 |
| | |||
* | Made a release (ProofGeneral.spec, proof-site.el, download.phtml) | David Aspinall | 1999-09-13 |
| | | | | | Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present | ||
* | Note about volume | David Aspinall | 1999-08-27 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-27 |
| | |||
* | wording | David Aspinall | 1999-08-27 |
| | |||
* | Added gallery | David Aspinall | 1999-08-27 |
| | |||
* | New images for gallery | David Aspinall | 1999-08-27 |
| | |||
* | Altered release date for 2.1. | David Aspinall | 1999-08-24 |
| | |||
* | Changes for 2.3 series pre-releases. | David Aspinall | 1999-08-23 |
| | |||
* | Very soon now = now | David Aspinall | 1999-08-23 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-23 |
| | |||
* | Admit that unstable means bugs. | David Aspinall | 1999-08-20 |
| | |||
* | Tweaks for 2.1 release | David Aspinall | 1999-08-20 |
| | |||
* | Changes for PG 2.1 | David Aspinall | 1999-08-20 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-20 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-19 |
| | |||
* | Mention mailing list | David Aspinall | 1999-08-17 |
| | |||
* | Mention developers mailing list | David Aspinall | 1999-08-17 |
| | |||
* | Mail to majordomo, not da | David Aspinall | 1999-08-17 |
| | |||
* | HTML tweaks | David Aspinall | 1999-08-17 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-17 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-22 |
| | |||
* | Downgraded Isabelle version to 98-1 again | David Aspinall | 1999-07-22 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-16 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-07 |
| | |||
* | Validator address fix. | David Aspinall | 1999-07-05 |
| | |||
* | Tweaks and validation fixes. | David Aspinall | 1999-07-03 |
| | |||
* | Fixed validator address. | David Aspinall | 1999-07-03 |
| | |||
* | Comment | David Aspinall | 1999-07-03 |
| | |||
* | Request to register a little more encouraging. | David Aspinall | 1999-07-03 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-03 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-02 |
| | |||
* | Missing space. | David Aspinall | 1999-07-02 |
| | |||
* | Spaces and punctuation | David Aspinall | 1999-07-02 |
| | |||
* | Notes about php functions. | David Aspinall | 1999-07-02 |
| | |||
* | Note about doc files absence from devel tarball. | David Aspinall | 1999-07-01 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-01 |
| | |||
* | Attribute LFCS on front page | David Aspinall | 1999-06-30 |
| | |||
* | Removed hack for texi2html, now using hacked texi2html instead. | David Aspinall | 1999-06-30 |
| | |||
* | Streamlined a bit | David Aspinall | 1999-06-30 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-06-30 |
| | |||
* | Tweaks | David Aspinall | 1999-06-30 |
| | |||
* | Simple hit counter | David Aspinall | 1999-06-30 |
| | |||
* | Tweak | David Aspinall | 1999-06-28 |
| | |||
* | Link for printing download is just .ps.gz now. | David Aspinall | 1999-06-28 |
| | |||
* | Mention Plastic and Isar and release number of Emacs. | David Aspinall | 1999-06-28 |
| | |||
* | Added pg_title variable | David Aspinall | 1999-06-28 |
| |