aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2017-08-01[flags] Remove XML output flag.Emilio Jesus Gallego Arias
2017-07-31Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t insteadMaxime Dénès
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-26Merge PR #902: Only perform profile initialization and printing when the flag...Maxime Dénès
2017-07-21Adding a V8.7 compatibility version number.Hugo Herbelin
2017-07-21PMP sold us a Timeout on Windows with 1s resolution. Trying to improve it.Maxime Dénès
2017-07-20coq_makefile: use System.exists_dir for better portabilityEnrico Tassi
2017-07-20Windows: Sys.is_dir "foo/" always says no (so we strip trailing slash)Enrico Tassi
2017-07-20Also a less intrusive Profile.init_profile.Hugo Herbelin
2017-07-20A less intrusive Profile.close_profile.Hugo Herbelin
2017-07-20Merge PR #898: [pp] Fix bugs 5651 [incorrect thunk in pretty printer]Maxime Dénès
2017-07-20Merge PR #869: Enforce alternating separators in typeclass debug outputMaxime Dénès
2017-07-19[pp] Fix bugs 5651 [incorrect thunk in pretty printer]Emilio Jesus Gallego Arias
2017-07-17Merge PR #862: Adding support for bindings tags to explicit prefix/suffix rat...Maxime Dénès
2017-07-12format pairs of items for pr_depth to get alternating separatorsPaul Steckler
2017-07-08Adding support for bindings tags to explicit prefix/suffix rather than colors.Hugo Herbelin
2017-07-05use Int.equal instead of polymorphic =Paul Steckler
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-23Fix bug 5392: Warnings defined in plugins are considered unknownMaxime Dénès
2017-06-19Merge PR#613: Cumulativity for inductive typesMaxime Dénès
2017-06-19Fix typo in comment.Maxime Dénès
2017-06-16Fix bugs and add an option for cumulativityAmin Timany
2017-06-15Merge PR#375: DeprecationMaxime Dénès
2017-06-14Merge PR#739: completing a sentence in a commentMaxime Dénès
2017-06-14Remove support for Coq 8.4.Guillaume Melquiond
2017-06-14Remove support for Coq 8.3.Guillaume Melquiond
2017-06-14Remove support for Coq 8.2.Guillaume Melquiond
2017-06-14Add a version to be used when parsing compatibility notations mentioning old ...Guillaume Melquiond
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
2017-06-07completing a sentence in a commentMatej Košík
2017-06-07Put all plugins behind an "API".Matej Kosik
2017-06-06Merge PR#728: A few typos.Maxime Dénès
2017-06-04A few typos.Hugo Herbelin
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2017-06-01[emacs] [toplevel] Make emacs flag local to the toplevel.Emilio Jesus Gallego Arias
2017-06-01Bump year in headers.Maxime Dénès
2017-05-30Merge PR#356: Making management of installation directories more structured, ...Maxime Dénès
2017-05-30Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3Maxime Dénès
2017-05-29Relying on computation done in Envars to discover the installation directories.Hugo Herbelin
2017-05-29Generalizing to docdir and datadir the test for a relocated installation.Hugo Herbelin
2017-05-29Exporting the suffixes needed to build coqlib, docdir, etc.Hugo Herbelin
2017-05-29Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Hugo Herbelin
2017-05-29Configuration: always giving a value to configdir and datadir.Hugo Herbelin
2017-05-29Dead code (xdg_config_dirs).Hugo Herbelin
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2017-05-27[cleanup] Unify all calls to the error function.Emilio Jesus Gallego Arias
2017-05-26Merge PR#666: romega revisited : no more normalization trace, cleaned-up reso...Maxime Dénès
2017-05-26Merge PR#655: Extra functions exported in EConstrMaxime Dénès
2017-05-25Merge PR#645: [stm] Tweak debug options.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:30:17 +0000