aboutsummaryrefslogtreecommitdiff
path: root/library/kindops.ml
AgeCommit message (Expand)Author
2019-07-01[api] Refactor most of `Decl_kinds`Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-02-27Update headers following #6543.Théo Zimmermann
2017-11-29Remove "obsolete_locality" and fix STM vernac classification.Maxime Dénès
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2016-09-22Revert "Merge remote-tracking branch 'github/pr/283' into trunk"Maxime Dénès
2016-09-20Stylistic improvements in intf/decl_kinds.mli.Maxime Dénès
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2013-03-11Added a Local Definition vernacular command. This type of definitionppedrot
2013-01-28Uniformization of the "anomaly" command.ppedrot
2012-08-08Updating headers.herbelin
2012-05-29Decl_kinds becomes a pure mli file, remaining ops in new file kindops.mlletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:30:31 +0000