aboutsummaryrefslogtreecommitdiffhomepage
path: root/obsolete
Commit message (Expand)AuthorAge
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
* Summary: Don't quote lambda expressionsGravatar Stefan Monnier2012-08-30
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* MovedGravatar David Aspinall2010-08-25
* Renamed file obsolete/plastic/plastic.el, formerly plastic/plastic.elGravatar David Aspinall2010-08-25
* Renamed file obsolete/plastic/README, formerly plastic/READMEGravatar David Aspinall2010-08-25
* Renamed file obsolete/plastic/plastic-syntax.el, formerly plastic/plastic-syn...Gravatar David Aspinall2010-08-25
* Renamed file obsolete/plastic/test.lf, formerly plastic/test.lfGravatar David Aspinall2010-08-25
* Renamed file obsolete/demoisa/demoisa.el, formerly demoisa/demoisa.elGravatar David Aspinall2010-08-25
* Renamed file obsolete/demoisa/demoisa-easy.el, formerly demoisa/demoisa-easy.elGravatar David Aspinall2010-08-25
* Renamed file obsolete/demoisa/README, formerly demoisa/READMEGravatar David Aspinall2010-08-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-20 11:17:40 +0000