Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Removed Emacs versions to more transient place | 1998-10-02 | |
* | Improved (internal) documentation of multiple file handling | 1998-10-02 | |
* | Added INFO-DIR entry | 1998-09-24 | |
* | Removed lego email address, support level notes. | 1998-09-24 | |
* | Added more notes about specialization to new provers. | 1998-09-23 | |
* | integrated da's comments | 1998-09-17 | |
* | Wrote specification for handling multiple file development in section Internals | 1998-09-17 | |
* | Changed name of info file. | 1998-09-17 | |
* | Renamed texinfo file. | 1998-09-16 |