index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
scomint.el
Commit message (
Expand
)
Author
Age
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...
David Aspinall
2011-10-13
*
Remove dead code
David Aspinall
2011-01-25
*
Protect against error case
David Aspinall
2009-09-20
*
Note
David Aspinall
2009-09-17
*
scomint-check-proc: make defsubst
David Aspinall
2009-09-07
*
Simplify by removing ability to deal with restrictions
David Aspinall
2009-09-06
*
Tidy whitespace
David Aspinall
2009-09-05
*
Missing declaration
David Aspinall
2009-09-05
*
Disable fontification of input and output. Fix C-c C-c binding
David Aspinall
2009-09-04
*
Disable buffer truncation for now
David Aspinall
2009-09-04
*
Define some keys.
David Aspinall
2009-09-04
*
Remove left over comint-isms
David Aspinall
2009-09-04
*
Support for Emacs22
David Aspinall
2009-09-04
*
Trimmed down comint
David Aspinall
2009-09-04