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
*
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
*
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
*
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 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 coloring fix.
Pierre Courtieu
2007-04-23
*
Small fixes from Stefan Monnier.
Pierre Courtieu
2007-04-16
*
Made coq version 8.1 the default.
Pierre Courtieu
2007-04-16
*
Added some keywords ("Declare Module Import"...).
Pierre Courtieu
2006-12-22
*
Fixed coq 8.0 compatibility and coq version detection.
Pierre Courtieu
2006-12-12
*
Added Goal as a goal starter in syntax db.
Pierre Courtieu
2006-09-07
*
Trying to mae indentation aware of nested comments (to be simplified
Pierre Courtieu
2006-09-04
*
fixes again in syntax databases.
Pierre Courtieu
2006-08-25
*
fix in syntax tables.
Pierre Courtieu
2006-08-25
*
Small fixes on syntax tables.
Pierre Courtieu
2006-08-25
*
Adding comments
Pierre Courtieu
2006-08-25
*
Small fixes.
Pierre Courtieu
2006-08-25
*
Changed default coq version (8.1)
Pierre Courtieu
2006-08-25
*
added a CHANGES file for coq directory
Pierre Courtieu
2006-08-25
*
Fixed a small bug in indentation of coq.
Pierre Courtieu
2006-08-25
*
fixing a bug introduced lately (coq-save-command-p *needs* two args
Pierre Courtieu
2006-08-24
*
Fixed indentation and font-lock for coq. Better, faster.
Pierre Courtieu
2006-08-23
*
Coq indentation small fixes.
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
*
fixed a bug with scripting with coq v8.0.
Pierre Courtieu
2006-07-20
*
section backtracking bug fixed.
Pierre Courtieu
2006-06-13
*
Fix to work with coq 8.1 again (havent tested 8.0)
David Aspinall
2006-05-26
*
Changed the type of proof-goal-command-p. It takes now a span, which
Pierre Courtieu
2006-04-26
*
made coq error regexp more precise
Pierre Courtieu
2006-02-16
*
Cleanup version testing, prevent crash in case version string doesn't match.
David Aspinall
2006-02-09
[next]