| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-07-16 | Example of using pbp | David Aspinall |
| 2002-07-15 | Set version tag for new release. | David Aspinall |
| 2002-07-15 | Do not link devel release. Fix releasefinal to do that. | 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 | Updated. | David Aspinall |
| 2002-07-14 | Add links | David Aspinall |
| 2002-07-14 | Mention developers list too | David Aspinall |
| 2002-07-14 | Remove spurious white space | David Aspinall |
| 2002-07-14 | font-series -> weight fixes. | David Aspinall |
| 2002-07-14 | New files. | David Aspinall |
| 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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |