index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
coq
/
coq-syntax.el
Commit message (
Expand
)
Author
Age
*
Finished the changing of names of config. variables (coq-user...).
Pierre Courtieu
2002-07-27
*
Changed once again the backtrack mechanism, it corresponds to what we
Pierre Courtieu
2002-07-26
*
Finished updating the commands and tactic lists of coq-syntax.el.
Pierre Courtieu
2002-06-19
*
updated the lists of commands and tactics in coq-syntax.el.
Pierre Courtieu
2002-06-19
*
Added the backtrack mechanism for sections. Seems to work.
Pierre Courtieu
2002-06-18
*
Added a function to inspect the prompt of Coq, in order to know if we
Pierre Courtieu
2002-06-18
*
Added the coq-user-... elisp customization variables to allow the user
Pierre Courtieu
2002-06-11
*
Modification of the coq-find-and-forget function, in order to use the
Pierre Courtieu
2002-05-29
*
Added some new tactic names
Pierre Courtieu
2002-05-29
*
I am starting to make PG coqV7 compatible, I think the best is to
Pierre Courtieu
2000-11-23
*
Added Uncaught exception errors in coq-error-regexp.
Pierre Courtieu
2000-09-29
*
Some changes for undoing with coq, handle user-defined tactics, in
Pierre Courtieu
2000-08-26
*
somme little changes to make undo work better
Pierre Courtieu
2000-06-22
*
More decoration
David Aspinall
2000-04-07
*
Altered syntax a little bit so reset works for Section.
David Aspinall
2000-03-19
*
fixed some regexp via proof-anchor-regexp;
Makarius Wenzel
1999-07-02
*
keywords of coq 6.3
Patrick Loiseleur
1999-06-30
*
Hints Resolve
Patrick Loiseleur
1999-06-21
*
better syntax
Patrick Loiseleur
1999-06-16
*
Various updates. coq-end-Section now works properly.
Patrick Loiseleur
1999-06-14
*
More colors, more regexps, more keywords
Patrick Loiseleur
1999-06-09
*
several additions, as usual
Patrick Loiseleur
1999-05-17
*
OrElse -> Orelse
Patrick Loiseleur
1999-05-03
*
A few coloring tricks
Patrick Loiseleur
1999-04-20
*
Merged changes sent by Patrick Loiseleur.
David Aspinall
1999-04-07
*
Comments from Healf explaining need for coq-goal-command-p
David Aspinall
1999-02-22
*
Added note about removing proof-goal-command-p
David Aspinall
1998-11-12
*
fixed bug with font-lock face names
Thomas Kleymann
1998-11-03
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
Replaced remaining face defs with defface calls.
David Aspinall
1998-10-23
*
changed maintainer information to lego@dcs and isabelle@dcs .
Thomas Kleymann
1998-10-02
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
*
Removed history
David Aspinall
1998-09-23
*
Fixup branch number
David Aspinall
1998-09-09
*
Renamed for new subdirectory structure
David Aspinall
1998-09-03