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
*
Fixing undeclared variables for compilation.
Pierre Courtieu
2013-07-04
*
Added faq for coq pg.
Pierre Courtieu
2013-07-02
*
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
*
Removing files from ML4PG folder
joheras
2013-05-31
*
Removing ML4PG files from coq folder.
joheras
2013-05-31
*
Removing ML4PG files from coq folder.
joheras
2013-05-31
*
Inclusion of ML4PG in coq.el file.
joheras
2013-05-31
*
*** empty log message ***
joheras
2013-05-31
*
Removing hidden files of ML4PG.
joheras
2013-05-31
*
Removing hidden files from ML4PG.
joheras
2013-05-31
*
ML4PG modification
joheras
2013-05-31
*
Documentation of ML4PG
joheras
2013-05-31
*
ML4PG functionality added to Coq menu
joheras
2013-05-30
*
*** empty log message ***
joheras
2013-05-30
*
Adding some more standard utf8 symbols to indentation operator. We
Pierre Courtieu
2013-05-30
*
Fixing a minor bug in indetation (exists is tactic and a quantifier).
Pierre Courtieu
2013-05-29
*
- update coq example
Hendrik Tews
2013-05-14
*
improve doc
Hendrik Tews
2013-04-19
*
fix overwriting the empty compilation queue
Hendrik Tews
2013-03-05
*
small improvement
Hendrik Tews
2013-02-20
*
fix parallel Coq compilation: report error for circular dependencies
Hendrik Tews
2013-02-18
*
move message about killing coq compilation processes
Hendrik Tews
2013-02-18
*
- 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
*
- fix asserting when parallel background compilation is in progress
Hendrik Tews
2013-01-03
*
- fix problem in emergency process killing
Hendrik Tews
2012-11-14
*
all-cpus option for coq-max-background-compilation-jobs
Hendrik Tews
2012-11-14
*
fix coq-lock-ancestor for parallel compilation
Hendrik Tews
2012-11-14
*
update documentation
Hendrik Tews
2012-11-14
*
- first version of parallel asynchronous compilation for coq in
Hendrik Tews
2012-11-13
*
move ancestor locking back into specific part
Hendrik Tews
2012-11-06
*
move ancestor locking/unlocking to coq-compile-common
Hendrik Tews
2012-11-05
*
fix seq-seq misspelling
Hendrik Tews
2012-11-05
*
move buffer saving to coq-compile-common
Hendrik Tews
2012-11-05
*
make coq-include-options independent of current buffer
Hendrik Tews
2012-11-03
*
move another 2 functions into coq-compile-common
Hendrik Tews
2012-11-03
*
move function for coq-compile-response-buffer to coq-compile-common.el
Hendrik Tews
2012-11-01
*
rename entities in coq-seq-compile
Hendrik Tews
2012-10-30
*
move some more material into coq-compile-common
Hendrik Tews
2012-10-30
*
move general part of compilation into coq-compile-common.el
Hendrik Tews
2012-10-30
*
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
[next]