| Age | Commit message (Expand) | Author |
|---|---|---|
| 2004-02-07 | Deleted file | David Aspinall |
| 2004-02-07 | Updated. | David Aspinall |
| 2004-02-07 | Set version tag for new release. | David Aspinall |
| 2004-01-24 | Fix blender link (it gets .org, lucky thing) | David Aspinall |
| 2004-01-24 | pre-release coming soon | David Aspinall |
| 2004-01-15 | Add redirect for ~proofgen on zermelo.dcs | David Aspinall |
| 2004-01-09 | Mention Eclipse award | David Aspinall |
| 2003-12-11 | Updated. | David Aspinall |
| 2003-12-11 | Updated. | David Aspinall |
| 2003-12-11 | Updated. | David Aspinall |
| 2003-12-11 | Remove proofgeneral.org domain. | David Aspinall |
| 2003-11-12 | *** empty log message *** | David Aspinall |
| 2003-11-07 | FIXME | David Aspinall |
| 2003-11-07 | Add file size | David Aspinall |
| 2003-11-07 | New files. | David Aspinall |
| 2003-11-07 | Deleted file | David Aspinall |
| 2003-11-07 | New files. | David Aspinall |
| 2003-11-07 | New files. | David Aspinall |
| 2003-10-05 | Remove CVS junk | David Aspinall |
| 2003-10-05 | Set version tag for new release. | David Aspinall |
| 2003-10-05 | Fix HTML | David Aspinall |
| 2003-10-05 | Fix HTML | David Aspinall |
| 2003-10-05 | Fix more links. | David Aspinall |
| 2003-09-25 | Fix another link. | David Aspinall |
| 2003-09-25 | Fix another link | David Aspinall |
| 2003-09-25 | Fix link | David Aspinall |
| 2003-09-25 | Replace web mirror of repo with anon cvs description | David Aspinall |
| 2003-09-25 | Mention anon cvs | David Aspinall |
| 2003-09-25 | Updated from Kit repo | David Aspinall |
| 2003-09-25 | New files. | David Aspinall |
| 2003-09-25 | Update XEmacs version. | David Aspinall |
| 2003-09-25 | Swap charset to iso-8859-1 | David Aspinall |
| 2003-09-25 | Fix Lambda-CLAM link | David Aspinall |
| 2003-09-25 | Set version tag for new release. | David Aspinall |
| 2003-09-24 | Updated. | David Aspinall |
| 2003-09-24 | Describe work currrently underway; distribute some docs | David Aspinall |
| 2003-09-24 | New files. | David Aspinall |
| 2003-09-24 | Updated. | David Aspinall |
| 2003-09-24 | Updated from Kit repo | David Aspinall |
| 2003-07-01 | Updated from Kit repo | David Aspinall |
| 2003-05-24 | Set version tag for new release. | David Aspinall |
| 2003-05-23 | Set version tag for new release. | David Aspinall |
| 2003-05-20 | Set version tag for new release. | David Aspinall |
| 2003-04-15 | Set version tag for new release. | David Aspinall |
| 2003-03-17 | Set version tag for new release. | David Aspinall |
| 2003-03-14 | Set version tag for new release. | David Aspinall |
| 2003-03-07 | Set version tag for new release. | David Aspinall |
| 2003-03-05 | Set version tag for new release. | David Aspinall |
| 2003-03-03 | Set version tag for new release. | David Aspinall |
| 2003-02-24 | Set version tag for new release. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |