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
*
Rename coq-smie-lexer.el to coq-smie.el.
Stefan Monnier
2014-06-03
*
* coq.el (coq-prettify-symbols-alist): New var.
Stefan Monnier
2014-06-02
*
Fixing coq project file parsing + moved project options.
Pierre Courtieu
2013-07-22
*
fix type of coq-project-filename
Hendrik Tews
2013-07-17
*
disable and protect coq-hide-additional-subgoals-switch for coq-time-commands
Hendrik Tews
2013-07-17
*
fix typo and compilation
Hendrik Tews
2013-07-11
*
Fixing a big bug in coq project file management.
Pierre Courtieu
2013-07-11
*
Fixed interaction between file variables and coq project file + faq.
Pierre Courtieu
2013-07-09
*
Fixing again bug #466. With a bbetter solution.
Pierre Courtieu
2013-07-08
*
Fixing a compilation warning for a ml4pg function in coq.el.
Pierre Courtieu
2013-07-04
*
Fixing undeclared variables for compilation.
Pierre Courtieu
2013-07-04
*
Fixing coq project file mechanism.
Pierre Courtieu
2013-07-02
*
Adding support for coq project file for setting coqdoc args.
Pierre Courtieu
2013-06-19
*
Adding support for coq project file for setting coqdoc args.
Pierre Courtieu
2013-06-19
*
Inclusion of ML4PG in coq.el file.
joheras
2013-05-31
*
ML4PG functionality added to Coq menu
joheras
2013-05-30
*
improve doc
Hendrik Tews
2013-04-19
*
- implement retract from prooftree
Hendrik Tews
2013-01-20
*
Fixed a bug with window height optimization.
Pierre Courtieu
2013-01-17
*
- support Grab Existential Variables for Prooftree
Hendrik Tews
2013-01-17
*
- support bullets and braces in Prooftree
Hendrik Tews
2013-01-15
*
- first version of parallel asynchronous compilation for coq in
Hendrik Tews
2012-11-13
*
move coq compilation into coq/coq-seq-compile.el
Hendrik Tews
2012-10-30
*
"as" insertion on a region.
Pierre Courtieu
2012-10-03
*
Fixed auto-insert-as stuff + fix compiling problems.
Pierre Courtieu
2012-10-03
*
Made 'as' automatic insertion a togglable feature (not finished) (2).
Pierre Courtieu
2012-10-02
*
Made 'as' automatic insertion a togglable feature. Not finished.
Pierre Courtieu
2012-10-02
*
Fixed 'as' close automatic insertion.
Pierre Courtieu
2012-10-02
*
Fixed the coq-insert-as feature. Will only work on coq svn trunk for
Pierre Courtieu
2012-10-01
*
Fixed #419: coq synchronized variables are not anymore in the settings
Pierre Courtieu
2012-09-25
*
Completing the possible layouts of proof-layout-windows (added the 3
Pierre Courtieu
2012-09-24
*
coq-remove-trailing-dot: Fix accidental dynamic binding so it compiles
David Aspinall
2012-09-14
*
adjust proof-tree regexp for focused subgoals
Hendrik Tews
2012-09-14
*
treat #450 by requiring that proofs are started with Proof
Hendrik Tews
2012-09-12
*
Fix of the last commit.
Pierre Courtieu
2012-09-07
*
Fix a bug that was letting "." in a wrong syntax category.
Pierre Courtieu
2012-09-07
*
Cleaning code and comments.
Pierre Courtieu
2012-09-07
*
Fixed a bug with coq symbol detection at point. Now dot notation.are supported.
Pierre Courtieu
2012-09-07
*
Fixed double hit terminator. Now it is disabled by default, and
Pierre Courtieu
2012-09-05
*
Fixing a bug happening in coq when three win mode on and scripting
Pierre Courtieu
2012-08-31
*
Resize response window when showing an ancient goal.
Pierre Courtieu
2012-08-31
*
Fixing previous commit on double hit.
Pierre Courtieu
2012-08-31
*
Impementing a "double hit" electric terminator. Idea: do electric
Pierre Courtieu
2012-08-30
*
Summary: Don't quote lambda expressions
Stefan Monnier
2012-08-30
*
Added some new behavior to the usual 'show goal' shortcut: if point is
Pierre Courtieu
2012-08-30
*
coq-optimise-resp-windows: Check proof script buffer window exists, addressin...
David Aspinall
2012-08-09
*
Rename optim-resp-windows -> coq-optimise-resp-windows for naming convention
David Aspinall
2012-08-09
*
Cleaned up a obsolete regexp.
Pierre Courtieu
2012-07-25
*
Making better menus for Coq. Menus visible in response and goals buffer.
Pierre Courtieu
2012-07-22
*
Fixed some regexp for V8.4 final version.
Pierre Courtieu
2012-07-21
[next]