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.el
Commit message (
Expand
)
Author
Age
*
Emacs compatibility/API updates: string-to-int -> string-to-number
David Aspinall
2007-12-10
*
Fixup some compile warnings
David Aspinall
2007-12-09
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
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
*
Small fixes.
Pierre Courtieu
2007-04-25
*
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
*
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
*
Change in a regexp for coq-shell-prompt.
Pierre Courtieu
2007-03-26
*
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
*
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
*
Fixed nested comment support for scripting, in xemacs (worked already
Pierre Courtieu
2006-09-08
*
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
*
still experimenting error highliting
Pierre Courtieu
2006-09-05
*
Experimenting highlighting the error from coqtop error
Pierre Courtieu
2006-09-05
*
Trying to mae indentation aware of nested comments (to be simplified
Pierre Courtieu
2006-09-04
*
Small fixes on syntax tables.
Pierre Courtieu
2006-08-25
*
Adding comments
Pierre Courtieu
2006-08-25
*
Small fixes.
Pierre Courtieu
2006-08-25
*
Fixed a small bug in indentation of coq.
Pierre Courtieu
2006-08-25
*
Changed state-preserving check for coq.
Pierre Courtieu
2006-08-24
*
changed coq bqcktracking to avoid doing backtrack x y z when x y and z
Pierre Courtieu
2006-08-24
*
fsf emacs compatibilty for symbol-at-point.
Pierre Courtieu
2006-08-23
*
Cleaning in coq and lib, fixed licenses and docstrings.
Pierre Courtieu
2006-08-23
*
Making non recursive functions to make fsf emacs happy, not yet finished.
Pierre Courtieu
2006-08-22
*
Big redesign of the coq syntax defintion, centralization in big tables
Pierre Courtieu
2006-08-22
*
Menus redesign, new interactive tactics/commands/terms
Pierre Courtieu
2006-08-21
*
Started the coq-insert-tactic.
Pierre Courtieu
2006-08-21
*
Moved the coq local variables tools in a separate file and made it
Pierre Courtieu
2006-08-17
[next]