Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add check changes | David Aspinall | 2002-07-14 |
* | Set version tag for new release. | David Aspinall | 2002-07-14 |
* | Reformat | David Aspinall | 2002-07-14 |
* | Typo | David Aspinall | 2002-07-14 |
* | Remove 3.3 download, encourage test version use. | David Aspinall | 2002-07-14 |
* | Rewrite history | David Aspinall | 2002-07-14 |
* | Move 3.3 to oldrel | David Aspinall | 2002-07-14 |
* | Improve layout | David Aspinall | 2002-07-14 |
* | Tweaks for forms. | David Aspinall | 2002-07-14 |
* | Improve layout. | David Aspinall | 2002-07-14 |
* | Simplify system infos. | David Aspinall | 2002-07-14 |
* | New files. | David Aspinall | 2002-07-14 |
* | Move project desc to features listing | David Aspinall | 2002-07-14 |
* | Improve layout | David Aspinall | 2002-07-14 |
* | Style for lists tweaked. | David Aspinall | 2002-07-14 |
* | Fix link in mozilla in click_to_go_back. | David Aspinall | 2002-07-13 |
* | Change colour but not boldness | David Aspinall | 2002-07-13 |
* | Remove length rant | David Aspinall | 2002-07-13 |
* | Fix typo | David Aspinall | 2002-07-13 |
* | Improve form | David Aspinall | 2002-07-13 |
* | Triv | David Aspinall | 2002-07-13 |
* | Link to page mentioned by emacs guy | David Aspinall | 2002-07-13 |
* | Remove extra hr, use h3 | David Aspinall | 2002-07-13 |
* | Use proofgeneral.org mailing addresses again. | David Aspinall | 2002-07-13 |
* | Reduce size to keep it smaller than main header | David Aspinall | 2002-07-13 |
* | Fix mailman links, remove subscription form from here. | David Aspinall | 2002-07-13 |
* | Fix link | David Aspinall | 2002-07-13 |
* | Fix layout a bit | David Aspinall | 2002-07-13 |
* | Tweak mailing list details, order of items. | David Aspinall | 2002-07-13 |
* | Compress header, shrink images | David Aspinall | 2002-07-13 |
* | Reorder, include links here. | David Aspinall | 2002-07-13 |
* | Reformat | David Aspinall | 2002-07-13 |
* | Add favicon to head | David Aspinall | 2002-07-13 |
* | Deleted file | David Aspinall | 2002-07-13 |
* | New files. | David Aspinall | 2002-07-13 |
* | Give link to develdownload for latest docs | David Aspinall | 2002-07-02 |
* | Syntax error | David Aspinall | 2002-07-01 |
* | Set version tag for new release. | David Aspinall | 2002-07-01 |
* | Fix date on news item | David Aspinall | 2002-07-01 |
* | GPL update | David Aspinall | 2002-06-21 |
* | Set version tag for new release. | David Aspinall | 2002-06-20 |
* | Set version tag for new release. | David Aspinall | 2002-06-19 |
* | Update Emacs versions | David Aspinall | 2002-06-18 |
* | News item for PG 3.4 | David Aspinall | 2002-06-18 |
* | Mention not supporting E21 | David Aspinall | 2002-06-08 |
* | Remove PGK mention, other obs projects | David Aspinall | 2002-06-08 |
* | Set version tag for new release. | David Aspinall | 2002-06-08 |
* | Set version tag for new release. | David Aspinall | 2002-05-03 |
* | New files. | David Aspinall | 2002-05-03 |
* | Set version tag for new release. | David Aspinall | 2002-04-23 |