index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Use Info-default-directory-list for GNU Emacs still
David Aspinall
2003-03-07
*
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-06
*
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-05
*
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-03
*
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-03-01
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
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
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
|
\
|
[prev]
[next]