aboutsummaryrefslogtreecommitdiffhomepage
path: root/vernac/comProgramFixpoint.ml
Commit message (Expand)AuthorAge
* Correct some spelling errorsmasterGravatar Benjamin Barenblat2018-07-22
* change into QuestionMark defaultGravatar Siddharth Bhat2018-07-17
* Change QuestionMark for better record field missing error message.Gravatar Siddharth Bhat2018-07-17
* Remove reference name type.Gravatar Maxime Dénès2018-06-18
* [api] Move `Constrexpr` to the `interp` module.Gravatar Emilio Jesus Gallego Arias2018-05-31
* Split off Universes functions dealing with names.Gravatar Gaëtan Gilbert2018-05-17
* Deprecate Typing.e_* functionsGravatar Gaëtan Gilbert2018-05-14
* [econstr] Forbid calling `to_constr` in open terms.Gravatar Emilio Jesus Gallego Arias2018-03-31
* [located] Push inner locations in `reference` to a CAst.t node.Gravatar Emilio Jesus Gallego Arias2018-03-09
* [econstr] Continue consolidation of EConstr API under `interp`.Gravatar Emilio Jesus Gallego Arias2018-02-28
* [ast] Improve precision of Ast location recognition in serialization.Gravatar Emilio Jesus Gallego Arias2018-02-22
* [vernac] Split `command.ml` into separate files.Gravatar Emilio Jesus Gallego Arias2017-12-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-28 00:41:06 +0000