| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-07-15 | Set version tag for new release. | David Aspinall |
| 2002-07-15 | Cleanup, details on versions | David Aspinall |
| 2002-07-15 | Fix | David Aspinall |
| 2002-07-15 | Tweak | David Aspinall |
| 2002-07-15 | Add stuff for alternative DTD | David Aspinall |
| 2002-07-15 | Put isa first | David Aspinall |
| 2002-07-15 | Fix link, tag. | David Aspinall |
| 2002-07-14 | Mention developers list too | David Aspinall |
| 2002-07-14 | font-series -> weight fixes. | David Aspinall |
| 2002-07-14 | 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-13 | 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-02 | Give link to develdownload for latest docs | David Aspinall |
| 2002-07-01 | 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-06-21 | GPL update | David Aspinall |
| 2002-06-20 | Set version tag for new release. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |