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
*
Remove use of proof-ass
David Aspinall
2008-01-24
*
Updated.
David Aspinall
2008-01-24
*
New files.
David Aspinall
2008-01-24
*
Missing paren
David Aspinall
2008-01-24
*
Fixes and cleanups for coq-indent-line, see Trac #172
David Aspinall
2008-01-24
*
Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd.
David Aspinall
2008-01-17
*
Updated.
David Aspinall
2008-01-16
*
Remove coq-utf-safe
David Aspinall
2008-01-15
*
Deleted file
David Aspinall
2008-01-15
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Fixed abbrev installation. + small fixes.
Pierre Courtieu
2008-01-03
*
Fixed the "proof completed" regexp.
Pierre Courtieu
2008-01-03
*
Require for defface macro
David Aspinall
2007-12-14
*
Fix compilation problems and rearrange startup settings for coq-prog-name,coq...
David Aspinall
2007-12-14
*
Remove eval-when, seems unreliable
David Aspinall
2007-12-14
*
Attempt to fix compile problems
David Aspinall
2007-12-14
*
Improve loading; these tests are not functioning yet
David Aspinall
2007-12-14
*
coq-goal-command-str-p: Fix suspected typo shown up by compile warning.
David Aspinall
2007-12-14
*
Bind coqdoc-html to C-c % w to avoid clash with help key.
David Aspinall
2007-12-13
*
New files.
David Aspinall
2007-12-13
*
Renamed file
David Aspinall
2007-12-13
*
Updated.
David Aspinall
2007-12-13
*
Deleted file
David Aspinall
2007-12-13
*
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
[next]