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
*
Fixes so that compile works
David Aspinall
2003-02-15
*
Line for Emacs compile
David Aspinall
2003-02-15
*
Towards isabelle-refresh-logics
David Aspinall
2003-02-15
*
change for version 0.83 of PhoX
Christophe Raffalli
2003-02-12
*
Added the keyword "Local :=" to the coq-goal-command-p function, like
Pierre Courtieu
2003-02-12
*
little modif on the end-cammand regexp.
Pierre Courtieu
2003-02-10
*
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-10
|
\
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-10
*
|
little change to proof-script-command-end-regexp, again, to deal with
Pierre Courtieu
2003-02-06
*
|
Slight modification to proof-script-command-end-regexp in coq.el, to
Pierre Courtieu
2003-02-06
*
|
Updated.
David Aspinall
2003-02-05
*
|
Grumpy note
David Aspinall
2003-02-05
*
|
Updated.
David Aspinall
2003-02-05
*
|
Updated.
David Aspinall
2003-02-05
*
|
Set version tag for new release.
David Aspinall
2003-02-05
*
|
Updated.
David Aspinall
2003-02-05
*
|
Doc generalisation of proof-script-command-end-regexp.
David Aspinall
2003-02-05
*
|
Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing
David Aspinall
2003-02-05
*
|
New files.
David Aspinall
2003-02-05
*
|
New setting for parse cmdend regexp.
David Aspinall
2003-02-05
*
|
Compatibility function for customize-menu-create
David Aspinall
2003-02-05
*
|
Give up on customize-menu-create on GNU Emacs
David Aspinall
2003-02-05
*
|
Added a paragraph in the documentation for the variable coq-version-is-V74.
Pierre Courtieu
2003-02-05
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-04
|
\
|
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-04
*
|
Coq/pg: fixed a little bug with the "Print Hint" state preserving
Pierre Courtieu
2003-02-04
*
|
Updated.
David Aspinall
2003-02-03
*
|
Set version tag for new release.
David Aspinall
2003-02-03
*
|
code cleaning + deals better with the new module system of Coq. Did
Pierre Courtieu
2003-02-03
*
|
- Moved "show me" menu one level up in the menu hierarchy
Stefan Berghofer
2003-02-03
*
|
Fix from Christoph Conrad for Emacs compatibility (buffer-string)
David Aspinall
2003-02-02
*
|
Bug correction in the find-and-forget function for coq: in Coq v74, no
Pierre Courtieu
2003-01-30
*
|
Added a file for testing modules of coq (new version 7.4). Plus some
Pierre Courtieu
2003-01-29
*
|
Updated.
David Aspinall
2003-01-29
*
|
Add remassoc for FSF.
David Aspinall
2003-01-29
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-01-28
|
\
|
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-01-28
*
|
Fix hilight of Module Type?
David Aspinall
2003-01-24
*
|
New files.
David Aspinall
2003-01-24
*
|
removed some garbage printing in coq/
Pierre Courtieu
2003-01-24
*
|
Modifications for support of Coq-7.3.1+ and above (new module system).
Pierre Courtieu
2003-01-24
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-01-23
|
\
|
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-01-23
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-01-22
|
\
|
|
*
X-Symbol version 4.45 beta
David Aspinall
2003-01-22
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-01-22
|
\
|
|
*
X-Symbol version 4.45 beta
David Aspinall
2003-01-22
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-01-22
|
\
|
|
*
X-Symbol version 4.45 beta
David Aspinall
2003-01-22
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-01-21
|
\
|
[next]