index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
scomint.el
Age
Commit message (
Collapse
)
Author
2018-08-23
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-02-21
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2011-10-13
Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵
David Aspinall
interactive-p with called-interactively-p)
2011-01-25
Remove dead code
David Aspinall
2009-09-20
Protect against error case
David Aspinall
2009-09-17
Note
David Aspinall
2009-09-07
scomint-check-proc: make defsubst
David Aspinall
2009-09-06
Simplify by removing ability to deal with restrictions
David Aspinall
and a check for process liveness.
2009-09-05
Tidy whitespace
David Aspinall
2009-09-05
Missing declaration
David Aspinall
2009-09-04
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