index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
obsolete
Age
Commit message (
Expand
)
Author
2018-12-14
Fix remaining uses of CL; Make files more declarative
Stefan Monnier
2018-12-13
Use `cl-lib` instead of `cl` everywhere
Stefan Monnier
2018-12-12
Cleanup patch; Moving defvar to toplevel
Stefan Monnier
2017-03-08
Remove compile-time calls to proof-ready-for-assistant
Clément Pit--Claudel
2012-08-30
Summary: Don't quote lambda expressions
Stefan Monnier
2010-08-27
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-25
Moved
David Aspinall
2010-08-25
Renamed file obsolete/plastic/plastic.el, formerly plastic/plastic.el
David Aspinall
2010-08-25
Renamed file obsolete/plastic/README, formerly plastic/README
David Aspinall
2010-08-25
Renamed file obsolete/plastic/plastic-syntax.el, formerly plastic/plastic-syn...
David Aspinall
2010-08-25
Renamed file obsolete/plastic/test.lf, formerly plastic/test.lf
David Aspinall
2010-08-25
Renamed file obsolete/demoisa/demoisa.el, formerly demoisa/demoisa.el
David Aspinall
2010-08-25
Renamed file obsolete/demoisa/demoisa-easy.el, formerly demoisa/demoisa-easy.el
David Aspinall
2010-08-25
Renamed file obsolete/demoisa/README, formerly demoisa/README
David Aspinall