aboutsummaryrefslogtreecommitdiffhomepage
path: root/API/API.ml
Commit message (Expand)AuthorAge
* [api] Re-enable deprecation warnings.Gravatar Emilio Jesus Gallego Arias2017-11-22
* [plugins] Prepare plugin API for functional handling of state.Gravatar Emilio Jesus Gallego Arias2017-11-19
* [ci] [coq] Complete 4.06.0 support.Gravatar Emilio Jesus Gallego Arias2017-11-13
* [API] Some reordering following latest separation commits.Gravatar Emilio Jesus Gallego Arias2017-11-01
* [general] Remove Econstr dependency from `intf`Gravatar Emilio Jesus Gallego Arias2017-10-25
* Ltac uses the new generic locatable API.Gravatar Pierre-Marie Pédrot2017-10-03
* Allow declaring universe constraints at definition level.Gravatar Matthieu Sozeau2017-09-19
* [general] Merge parsing with highparsing, put toplevel at the top of the link...Gravatar Emilio Jesus Gallego Arias2017-08-29
* A new step of restructuration of notations.Gravatar Hugo Herbelin2017-08-29
* Moving file primitive.ml to cPrimitive.ml to avoid conflict with OCaml.Gravatar Hugo Herbelin2017-08-12
* [api] Remove type equalities from API.Gravatar Emilio Jesus Gallego Arias2017-07-25
* [api] Put modules in order in API.{mli,ml}Gravatar Emilio Jesus Gallego Arias2017-07-25
* Merge PR #770: [proof] Move bullets to their own module.Gravatar Maxime Dénès2017-07-19
|\
* | Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* | Merge PR#803: Clean ssrGravatar Maxime Dénès2017-06-20
|\ \
| * | Removing Proof_type from the API.Gravatar Pierre-Marie Pédrot2017-06-16
* | | Squashed commit of the following:Gravatar Amin Timany2017-06-16
|/ /
| * [proof] Move bullets to their own module.Gravatar Emilio Jesus Gallego Arias2017-06-12
|/
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 04:20:04 +0000