| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | 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