History of elisp @scrub-obsolete/main
- Add some more new commands. tswd 7 years ago
- Add new citp commands. tswd 7 years ago
- hilighting recently introduced citp commands tswd 8 years ago
- delete an abbriviation of :ctf. tswd 8 years ago
- update cafeobj-mode.el to *not* use absolute path for interpreter Norbert Preining 8 years ago
- Delete too much aggressive abbriviations. tswd 8 years ago
- Displays caefobj logo as starting up cafeobj process. tswd 8 years ago
- Added some more default abbriviations. tswd 8 years ago
- Improved handling ambiguous terms to parse. tswd 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago
- Modified default abbreviations of cafeobj-mode, tswd 8 years ago
- Fixed a bug in executing cafeobj in emacs --nowindow. tswd 9 years ago
- Preparing for broader distritution, added license headers to codes. tswd 9 years ago
- Fix for assoc ops term LP during rewriting. tswd 11 years ago
- Brand new trunk of 2012 CafeOBJ interpreter. tswd 11 years ago