Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Renamed from plastic/plastic-syntax.el to obsolete/plastic/plastic-syntax.el | 2010-08-25 | |
* | Clean whitespace | 2009-09-05 | |
* | Update from PC, sent 5.8.02 | 2002-08-07 | |
* | instantiation for "plastic" proof assistant | 1999-05-11 |