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-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
