aboutsummaryrefslogtreecommitdiffhomepage
path: root/obsolete
Commit message (Expand)AuthorAge
* 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