aboutsummaryrefslogtreecommitdiff
path: root/obsolete
AgeCommit message (Expand)Author
2018-12-14Fix remaining uses of CL; Make files more declarativeStefan Monnier
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2017-03-08Remove compile-time calls to proof-ready-for-assistantClément Pit--Claudel
2012-08-30Summary: Don't quote lambda expressionsStefan Monnier
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2010-08-25MovedDavid Aspinall
2010-08-25Renamed file obsolete/plastic/plastic.el, formerly plastic/plastic.elDavid Aspinall
2010-08-25Renamed file obsolete/plastic/README, formerly plastic/READMEDavid Aspinall
2010-08-25Renamed file obsolete/plastic/plastic-syntax.el, formerly plastic/plastic-syn...David Aspinall
2010-08-25Renamed file obsolete/plastic/test.lf, formerly plastic/test.lfDavid Aspinall
2010-08-25Renamed file obsolete/demoisa/demoisa.el, formerly demoisa/demoisa.elDavid Aspinall
2010-08-25Renamed file obsolete/demoisa/demoisa-easy.el, formerly demoisa/demoisa-easy.elDavid Aspinall
2010-08-25Renamed file obsolete/demoisa/README, formerly demoisa/READMEDavid Aspinall