Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Continuing mods for cleaner byte compile | 1998-10-27 | |
* | Fixes for clean byte compile | 1998-10-27 | |
* | Begun work on clean byte compilation / clarifying interfaces. | 1998-10-27 | |
* | Changed for proof-script-buffer to proof-script-buffer-list | 1998-10-20 | |
* | Updated maintainer tags to remove lego email address. | 1998-10-01 | |
* | Added Id | 1998-09-08 | |
* | Renamed for new subdirectory structure | 1998-09-03 |