| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added toolbar todos discussed at business lunch with tms |  David Aspinall | 1998-09-14 |
| * | 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-10 |
| * | Added Id to headers. | David Aspinall | 1998-09-09 |
| * | Added todos for toolbar. | David Aspinall | 1998-09-08 |
| * | Added make item to build ChangeLog automatically, removed from repository | David Aspinall | 1998-09-08 |
| * | Added note of what to do here. | David Aspinall | 1998-09-03 |
| * | *** empty log message *** |  Thomas Kleymann | 1998-08-07 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/Makefile.devel