| Age | Commit message (Collapse) | 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 | |
| removed bold (not supported by x-symbol any more) | |||
| 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 | |
| [Actually, superscript highlighting seems broken anyway] | |||
| 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 |