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
*
Updated.
David Aspinall
2007-12-12
*
Added a sample file for utf8.
Pierre Courtieu
2007-12-12
*
Compatibility with coq trunk where some special symbols are removed.
Pierre Courtieu
2007-12-12
*
Emacs compatibility/API updates: string-to-int -> string-to-number
David Aspinall
2007-12-10
*
Fixup some compile warnings
David Aspinall
2007-12-09
*
Print Coercions added to coq-syntax
Assia Mahboubi
2007-12-07
*
Corollary added to Coq starters
Assia Mahboubi
2007-12-05
*
coq solve tacs modified
Assia Mahboubi
2007-11-30
*
colouring for Reserved Notations
Assia Mahboubi
2007-11-26
*
removed 'by'form coq-reserved and added it to coq-solve-tactics
Assia Mahboubi
2007-11-20
*
adding coq-solve tactics
Assia Mahboubi
2007-11-20
*
coq-user-reserved-db added
Assia Mahboubi
2007-11-16
*
test commit : added Structure to coq-defn-db
Assia Mahboubi
2007-11-16
*
Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160
David Aspinall
2007-11-12
*
fixing small font-lock bug with ssreflect syntax.
Pierre Courtieu
2007-11-08
*
Debugging font-lock regexp.
Pierre Courtieu
2007-11-07
*
Menu are now correctly sorted.
Pierre Courtieu
2007-11-07
*
Debugging font-lock regexp.
Pierre Courtieu
2007-11-07
*
Debugging font-lock regexps. Bad order: longer regexp should be put
Pierre Courtieu
2007-11-07
*
Fixed colorization bugs reported by Assai MAhboubi, this commit is
Pierre Courtieu
2007-10-30
*
Fixed small colorizing bugs (when keywords contain sub words colorized
Pierre Courtieu
2007-10-30
*
Bug fixed. Reported by Assia Mahboubi.
Pierre Courtieu
2007-10-30
*
Fixed a bug on custom vars (bad :type) + Added a customizable user var
Pierre Courtieu
2007-10-29
*
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
[next]