| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-07-14 | Updated. | David Aspinall |
| 2002-07-14 | Flag on cp | David Aspinall |
| 2002-07-14 | Updated. | David Aspinall |
| 2002-07-14 | ws | David Aspinall |
| 2002-07-14 | Remove use new parser | David Aspinall |
| 2002-07-14 | Stick 3.4 stuff on end | David Aspinall |
| 2002-07-14 | Tracing bug | David Aspinall |
| 2002-07-14 | Add check changes | David Aspinall |
| 2002-07-14 | Fix authorship | David Aspinall |
| 2002-07-14 | Add prune to update | David Aspinall |
| 2002-07-14 | Try to debug | David Aspinall |
| 2002-07-14 | Updated. | 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 | Layout, comments. | 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 | New files. | David Aspinall |
| 2002-07-14 | Cleanup html, fix URLs to final versions. | David Aspinall |
| 2002-07-13 | First customized versions | David Aspinall |
| 2002-07-13 | Fix up. Still ugly. | David Aspinall |
| 2002-07-13 | New files. | David Aspinall |
| 2002-07-13 | Tidy up source, improve titles. | David Aspinall |
| 2002-07-13 | New files. | 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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |