| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-10-13 | Note on how to update base revision number (since I got it wrong on first try) | David Aspinall | |
| 2003-09-24 | Notice about using cvs.inf instead | David Aspinall | |
| 2003-05-28 | Updated. | David Aspinall | |
| 2002-08-29 | Updating branch | David Aspinall | |
| 2001-09-03 | Note of secure alt to no password | David Aspinall | |
| 2000-09-29 | Note about dealing with backslashname directory. | David Aspinall | |
| 2000-09-29 | Note about dealing with backslashname directory. | David Aspinall | |
| 2000-09-14 | Updated | David Aspinall | |
| 2000-09-12 | Notes about using cvs remotely added. | David Aspinall | |
| 2000-08-28 | Note about CVSROOT setting. | David Aspinall | |
| 2000-05-09 | Trivial. | David Aspinall | |
| 2000-04-28 | Note about conflict in merging | David Aspinall | |
| 2000-04-28 | Notes about using cvs and branch. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |