index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2003-03-07
Set version tag for new release.
David Aspinall
2003-03-07
Updated.
David Aspinall
2003-03-07
Remove notes about old bugs
David Aspinall
2003-03-07
Use Info-default-directory-list for GNU Emacs still
David Aspinall
2003-03-06
Fix Non-X frame error on Emacs 21
David Aspinall
2003-03-06
Patch from CW to fix sub/supers prob.
David Aspinall
2003-03-05
List of stuff to do here
David Aspinall
2003-03-05
Updated.
David Aspinall
2003-03-05
Set version tag for new release.
David Aspinall
2003-03-05
Tweaks to auto-style; remove x-symbol-set-cache-variable because breaks compile
David Aspinall
2003-03-05
Add function to parse consts part of syntax output
David Aspinall
2003-03-05
clean does distclean for x-symbol
David Aspinall
2003-03-05
Make sure selected window never changes
David Aspinall
2003-03-03
Updated.
David Aspinall
2003-03-03
Remove newlines patch for Coq
David Aspinall
2003-03-03
Updated.
David Aspinall
2003-03-03
Add mmm. Ignore byte compile errors
David Aspinall
2003-03-03
Updated.
David Aspinall
2003-03-03
Updated.
David Aspinall
2003-03-03
Updated.
David Aspinall
2003-03-03
Set version tag for new release.
David Aspinall
2003-03-03
Fix sticky mode properties for X-Symbol
David Aspinall
2003-03-03
Updated.
David Aspinall
2003-03-03
New files.
David Aspinall
2003-03-03
Deleted file
David Aspinall
2003-03-03
Note about M-x x-symbol-mode
David Aspinall
2003-03-03
Add distcompile target
David Aspinall
2003-03-03
Improved version from Gerwin Klein/Christoph Wedler; simplified auto-mode-sty...
David Aspinall
2003-03-03
Fix sticky mode properties for X-Symbol
David Aspinall
2003-03-03
Updated.
David Aspinall
2003-03-03
Updated.
David Aspinall
2003-03-03
Deleted file
David Aspinall
2003-03-03
Delete
David Aspinall
2003-03-03
Updated.
David Aspinall
2003-03-01
Update doc of X-Sym
David Aspinall
2003-03-01
Update to 4.5 (pre?) version CW sent
David Aspinall
2003-03-01
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-03-01
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-03-01
This commit was manufactured by cvs2git to create branch 'xsym'.
cvs2git
2003-03-01
New files.
David Aspinall
2003-03-01
Some fixes/error protection in shrink window
David Aspinall
2003-03-01
Refactor function used for Isar parsing a little.
David Aspinall
2003-02-27
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-27
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-26
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-26
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-26
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-26
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-26
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-26
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
[next]