| Age | Commit message (Expand) | Author |
|---|---|---|
| 2004-02-06 | adapting to coq-8.0. | Pierre Courtieu |
| 2004-01-30 | updating for new PG version | Christophe Raffalli |
| 2004-01-24 | Fix blender link (it gets .org, lucky thing) | David Aspinall |
| 2004-01-24 | pre-release coming soon | David Aspinall |
| 2004-01-19 | revoke broken indent fix | Gerwin Klein |
| 2004-01-15 | Add redirect for ~proofgen on zermelo.dcs | David Aspinall |
| 2004-01-09 | Mention Eclipse award | David Aspinall |
| 2003-12-29 | spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup> | Gerwin Klein |
| 2003-12-23 | removed bold, no longer supported by x-symbol | Gerwin Klein |
| 2003-12-23 | more cleanup of sub/superscript, removed duplicate subscript-matcher | Gerwin Klein |
| 2003-12-11 | Updated. | David Aspinall |
| 2003-12-11 | Updated. | David Aspinall |
| 2003-12-11 | Fix domain name | 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-16 | allow sub/super scripts in identifiers (\<^isub> and \<^isup>) | Gerwin Klein |
| 2003-10-05 | Run checkdoc | David Aspinall |
| 2003-10-05 | Updated. | David Aspinall |
| 2003-10-05 | Remove CVS junk | David Aspinall |
| 2003-10-05 | Updated. | 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 | New files. | David Aspinall |
| 2003-10-05 | Rever to simplest example | David Aspinall |
| 2003-10-05 | Updated. | David Aspinall |
| 2003-10-05 | Add interactive input setting, and extra flags for action. | David Aspinall |
| 2003-10-05 | Remove proof-shell-interactive-input-regexp again! | David Aspinall |
| 2003-10-05 | Fix more links. | David Aspinall |
| 2003-10-05 | Set proof-shell-interactive-input-regexp | David Aspinall |
| 2003-10-05 | Updated. | David Aspinall |
| 2003-09-25 | Add bug reported by Norbert Schirmer. | David Aspinall |
| 2003-09-25 | Updated. | 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 | Updated. | David Aspinall |
| 2003-09-25 | Replace web mirror of repo with anon cvs description | David Aspinall |
| 2003-09-25 | Updated. | 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 | Updated. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |