| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-09-14 | Added toolbar todos discussed at business lunch with tms | David Aspinall |
| 1998-09-10 | Added final message to make release. | David Aspinall |
| 1998-09-10 | Bug in make release. | David Aspinall |
| 1998-09-10 | Added back check for clean source. | David Aspinall |
| 1998-09-10 | Added tag, dist, release targets. | David Aspinall |
| 1998-09-09 | Added Id to headers. | David Aspinall |
| 1998-09-08 | Added todos for toolbar. | David Aspinall |
| 1998-09-08 | Added make item to build ChangeLog automatically, removed from repository | David Aspinall |
| 1998-09-03 | Added note of what to do here. | David Aspinall |
| 1998-08-07 | *** empty log message *** | Thomas Kleymann |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |
path: root/Makefile.devel