index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
doc
/
changes.md
Age
Commit message (
Expand
)
Author
2018-06-04
Documenting the API change.
Pierre-Marie Pédrot
2018-05-31
[api] Move `Constrexpr` to the `interp` module.
Emilio Jesus Gallego Arias
2018-05-27
[api] Make `vernac/` self-contained.
Emilio Jesus Gallego Arias
2018-05-24
Remove the unused printer_pr mechanism.
Jim Fehrle
2018-05-23
Document Smart/Array changes in dev/doc/Changes.md.
Hugo Herbelin
2018-05-18
Merge PR #6965: [api] Move universe syntax to `Glob_term`
Pierre-Marie Pédrot
2018-05-16
add unit tests to test suite
Paul Steckler
2018-05-08
[api] Move universe syntax to `Glob_term`
Emilio Jesus Gallego Arias
2018-05-04
[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.
Emilio Jesus Gallego Arias
2018-04-15
[doc] [engine] Document `abort_on_undefined_evars`.
Emilio Jesus Gallego Arias
2018-04-13
Evar maps contain econstrs.
Gaëtan Gilbert
2018-02-22
[ast] Improve precision of Ast location recognition in serialization.
Emilio Jesus Gallego Arias
2018-02-12
[engine] Remove ghost parameter from `Proofview.Goal.t`
Emilio Jesus Gallego Arias
2018-02-05
[stm] [toplevel] Make loadpath a parameter of the document.
Emilio Jesus Gallego Arias
2017-12-27
[API] remove large file containing duplicate interfaces
Enrico Tassi
2017-12-26
[ide] [doc] Document tweak to Query call.
Emilio Jesus Gallego Arias
2017-12-15
[econstr] Switch constrintern API to non-imperative style.
Emilio Jesus Gallego Arias
2017-11-29
[lib] [api] Introduce record for `object_prefix`
Emilio Jesus Gallego Arias
2017-11-07
[api] Remove 8.7 ML-deprecated functions.
Emilio Jesus Gallego Arias
2017-11-03
Merge PR #6047: A generic printer for ltac values
Maxime Dénès
2017-11-03
Merge PR #6027: Mention the migration from Bugzilla to GitHub issues in dev/d...
Maxime Dénès
2017-11-02
Using a specific function to register vernac printers.
Hugo Herbelin
2017-10-27
Mention the migration from Bugzilla to GitHub issues in dev/doc/changes.
Théo Zimmermann
2017-10-26
Passing around the flag for injection so that tactics calling inj at
Hugo Herbelin
2017-10-10
[configure] Support for flambda flags.
Emilio Jesus Gallego Arias
2017-10-06
Extract changes to the XML protocol from its doc
Théo Zimmermann
2017-08-29
Move dev/doc/changes to Markdown.
Théo Zimmermann
