index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
obsolete
Commit message (
Expand
)
Author
Age
*
Fix remaining uses of CL; Make files more declarative
Stefan Monnier
2018-12-14
*
Use `cl-lib` instead of `cl` everywhere
Stefan Monnier
2018-12-13
*
Cleanup patch; Moving defvar to toplevel
Stefan Monnier
2018-12-12
*
Remove compile-time calls to proof-ready-for-assistant
Clément Pit--Claudel
2017-03-08
*
Summary: Don't quote lambda expressions
Stefan Monnier
2012-08-30
*
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-27
*
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
2010-08-25