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