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
Commit message (
Expand
)
Author
Age
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
Added new keywords.
Pierre Courtieu
2007-07-12
*
Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.
David Aspinall
2007-05-25
*
Fixed prompt regexp.
Pierre Courtieu
2007-05-10
*
Never use special chars with >= coq-8.1.
Pierre Courtieu
2007-05-10
*
Fixed coq prog persistent setting.
Pierre Courtieu
2007-05-10
*
Fixing auto shrink in coq three window mode, to avoid window
Pierre Courtieu
2007-04-26
*
Fixed the "Time Qed." mistreating (now recognized as a save command
Pierre Courtieu
2007-04-26
*
Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.M
Pierre Courtieu
2007-04-26
*
Small fixes.
Pierre Courtieu
2007-04-25
*
small coloring fix.
Pierre Courtieu
2007-04-23
*
Fixed bug 111. Scroll response window to see goal and as much
Pierre Courtieu
2007-04-23
*
Fixing bug 110 for SearchRewrite en SearchAbout coq commends.
Pierre Courtieu
2007-04-23
*
Adapting last features to fsf emacs.
Pierre Courtieu
2007-04-23
*
Added things in CHANGES.
Pierre Courtieu
2007-04-23
*
Adapting error highlighting (coq) to x-symbol.
Pierre Courtieu
2007-04-20
*
Add a shrink adapting hook for coq response buffer.
Pierre Courtieu
2007-04-20
*
Adding comments to experimental response buffer height adapting.
Pierre Courtieu
2007-04-18
*
Experimental feature: in three buffer mode: shrink response window as
Pierre Courtieu
2007-04-16
*
Small fixes from Stefan Monnier.
Pierre Courtieu
2007-04-16
*
Patch from Stefan Monnier.
Pierre Courtieu
2007-04-16
*
Adapted to hybrid response/goals outputs from coq. We need something
Pierre Courtieu
2007-04-16
*
Made coq version 8.1 the default.
Pierre Courtieu
2007-04-16
*
Change in a regexp for coq-shell-prompt.
Pierre Courtieu
2007-03-26
*
*** empty log message ***
Pierre Courtieu
2007-03-08
*
Remove proof-indent-pad-eol atrocity
David Aspinall
2007-02-28
*
Added some keywords ("Declare Module Import"...).
Pierre Courtieu
2006-12-22
*
Added completion to coq-prog-name asking.
Pierre Courtieu
2006-12-13
*
Fixed keyboard shortcuts.
Pierre Courtieu
2006-12-12
*
Fixed coq 8.0 compatibility and coq version detection.
Pierre Courtieu
2006-12-12
*
Error highlighting in coq only when scripting (not when sending
Pierre Courtieu
2006-10-23
*
Fix for coq-utf-safe.
Pierre Courtieu
2006-10-06
*
utf safe coq mode is not linked to proof-shell-unicode, as unicode is
Pierre Courtieu
2006-09-29
*
adapting to proof-shell-unicode. Coq has not been adapted to the
Pierre Courtieu
2006-09-29
*
Simplified prompt regexp for coq, preparing new prompt delimiters
Pierre Courtieu
2006-09-29
*
fixed a bug with wakeup char for coq.
Pierre Courtieu
2006-09-29
*
Added \x6 as a possible wakeup char for coq. For the moment this
Pierre Courtieu
2006-09-25
*
typo in coq-indent.
Pierre Courtieu
2006-09-15
*
fixed a typo in last correction.
Pierre Courtieu
2006-09-15
*
fix a bug with error highlighting. Not sure it is ok but seems to
Pierre Courtieu
2006-09-14
*
fixed a bug from Stefan Monnier.
Pierre Courtieu
2006-09-14
*
cleaning from Stefan Monnier.
Pierre Courtieu
2006-09-13
*
cleaning from Stefan Monnier.
Pierre Courtieu
2006-09-13
*
Fixed nested comment support for scripting, in xemacs (worked already
Pierre Courtieu
2006-09-08
*
Updated.
David Aspinall
2006-09-07
*
Updated CHANGES.
Pierre Courtieu
2006-09-07
*
Added Goal as a goal starter in syntax db.
Pierre Courtieu
2006-09-07
*
updating changes in coq/CHANGES.
Pierre Courtieu
2006-09-06
*
Making error highlighting more robust (for both emacsen) and use a
Pierre Courtieu
2006-09-06
*
Error highliting in coq now works
Pierre Courtieu
2006-09-05
[next]