index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
doc
Commit message (
Expand
)
Author
Age
*
Merge PR #939: [general] Merge parsing with highparsing, put toplevel at the ...
Maxime Dénès
2017-09-15
|
\
*
\
Merge PR #962: Move dev/doc/changes to Markdown.
Maxime Dénès
2017-09-15
|
\
\
*
\
\
Merge PR #999: For BZ#5688, mention hanging issue in ocamldebug and workaround
Maxime Dénès
2017-08-31
|
\
\
\
|
*
|
|
mention issue with OCAMLRUNPARAM and ocamldebug
Paul Steckler
2017-08-29
|
|
|
*
[general] Merge parsing with highparsing, put toplevel at the top of the link...
Emilio Jesus Gallego Arias
2017-08-29
|
|
|
/
|
|
/
|
*
|
|
Adapt debugging doc to configure/Makefile changes.
Théo Zimmermann
2017-08-29
*
|
|
Move debugging to Markdown.
Théo Zimmermann
2017-08-29
|
/
/
|
*
Move dev/doc/changes to Markdown.
Théo Zimmermann
2017-08-29
|
/
*
Merge PR #819: Cleanup old things
Maxime Dénès
2017-08-29
|
\
*
|
Mention tclINDEPENDENTL (#349) in dev/doc/changes.
Théo Zimmermann
2017-08-16
|
*
Remove obsolete files
Gaëtan Gilbert
2017-08-01
|
*
Add .v extension to dev/doc/notes-on-conversion
Gaëtan Gilbert
2017-08-01
|
/
*
Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.
Maxime Dénès
2017-08-01
|
\
*
\
Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t instead
Maxime Dénès
2017-07-31
|
\
\
*
\
\
Merge PR #852: Makefile: fails if some .vo or .cm* file has no source
Maxime Dénès
2017-07-28
|
\
\
\
|
|
|
*
[toplevel] Remove long ago deprecated and NOOP options.
Emilio Jesus Gallego Arias
2017-07-27
|
|
_
|
/
|
/
|
|
|
|
*
deprecate Pp.std_ppcmds type alias
Matej Košík
2017-07-27
*
|
|
Merge PR #886: Fixing what was presumably a typo in the naming conventions file
Maxime Dénès
2017-07-26
|
\
\
\
|
|
_
|
/
|
/
|
|
*
|
|
[API] Remove `open API` in ml files in favor of `-open API` flag.
Emilio Jesus Gallego Arias
2017-07-17
|
*
|
Fixing what was presumably a typo in the naming conventions file.
Hugo Herbelin
2017-07-16
*
|
|
Fix a typo in dev/changes.
Pierre-Marie Pédrot
2017-07-14
*
|
|
Document the changes in API brought by this series of patches.
Pierre-Marie Pédrot
2017-07-14
|
/
/
|
*
Makefile: fails if some .vo or .cm* file has no source
Pierre Letouzey
2017-07-05
|
/
*
[ide] Add route_id parameter to query call.
Emilio Jesus Gallego Arias
2017-06-18
*
Merge PR#749: Normalize deprecation notices of ./configure
Maxime Dénès
2017-06-14
|
\
*
\
Merge PR#622: Change the default flag value for Refine.refine
Maxime Dénès
2017-06-14
|
\
\
|
*
|
Dualize the unsafe flag of refine into typecheck and make it mandatory.
Pierre-Marie Pédrot
2017-06-13
|
*
|
Documenting the change of default flag value of Refine.refine.
Pierre-Marie Pédrot
2017-06-13
|
|
*
Normalize deprecation notices of ./configure
Théo Zimmermann
2017-06-11
|
|
/
*
/
Added support for a side effect on constants in reduction functions.
Thomas Sibut-Pinote
2017-06-04
|
/
*
Merge PR#696: Trunk+cleanup constr of global
Maxime Dénès
2017-06-01
|
\
*
|
Creating a module Nameops.Name extending module Names.Name.
Hugo Herbelin
2017-05-31
|
*
Cleanup: removal of constr_of_global.
Matthieu Sozeau
2017-05-29
|
/
*
Merge PR#512: [cleanup] Unify all calls to the error function.
Maxime Dénès
2017-05-29
|
\
|
*
[cleanup] Unify all calls to the error function.
Emilio Jesus Gallego Arias
2017-05-27
*
|
[coqlib] Move `Coqlib` to `library/`.
Emilio Jesus Gallego Arias
2017-05-27
|
/
*
Merge PR#637: Short cleaning of the interpretation path for constr_with_bindings
Maxime Dénès
2017-05-25
|
\
*
\
Merge PR#481: [option] Remove support for non-synchronous options.
Maxime Dénès
2017-05-25
|
\
\
*
\
\
Merge branch 'trunk' into located_switch
Emilio Jesus Gallego Arias
2017-05-24
|
\
\
\
|
|
*
|
[option] Remove support for non-synchronous options.
Emilio Jesus Gallego Arias
2017-05-24
|
|
/
/
|
|
*
Clarifying the interpretation path for the "constr_with_binding" argument.
Hugo Herbelin
2017-05-22
|
|
/
|
*
More consistent writing of de Bruijn.
Théo Zimmermann
2017-05-01
|
*
Fix for bug 5507. Mispelt de Bruijn.
Théo Zimmermann
2017-05-01
|
*
Document the API changes.
Pierre-Marie Pédrot
2017-04-27
*
|
[located] [doc] Improve docs for `CAst.ast`.
Emilio Jesus Gallego Arias
2017-04-25
*
|
[location] Document changes.
Emilio Jesus Gallego Arias
2017-04-25
|
/
*
Documenting EConstr for developpers.
Pierre-Marie Pédrot
2017-04-19
*
Merge branch 'v8.6' into trunk
Maxime Dénès
2017-04-15
|
\
|
*
Fix EOL characters in xml protocol documentation.
Maxime Dénès
2017-04-14
|
*
update XML protocol doc to 8.6
Paul Steckler
2017-04-13
[next]