aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
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-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
2017-05-25Merge PR#406: coq makefile2Maxime Dénès
2017-05-24[location] Renaming "CAst.ast" to "CAst.t"Matej Košík
2017-05-24Merge branch 'trunk' into located_switchEmilio Jesus Gallego Arias
2017-05-23coq_makefile: avoid spurious ./ in generated .conf fileEnrico Tassi
2017-05-23enters coq_makefile2Enrico Tassi
2017-05-23ocamlfind: coqtop -config prints ocamlfind as found by ./configureEnrico Tassi
2017-05-23print_config: print COQ_SRC_SUBDIRSEnrico Tassi
2017-05-23Put the list of Coq sources subdirectories in one placeEnrico Tassi
2017-05-23Usage.print_config moved to EnvarsEnrico Tassi
2017-05-23CoqProject_file: document in API deprecated featuresEnrico Tassi
2017-05-23CoqProject_file: API and code cleanup (tuples -> records)Enrico Tassi
2017-05-23ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliEnrico Tassi
2017-05-23Bigint.euclid: clarify which sign convention is usedPierre Letouzey
2017-05-19Moving "sym" on "eq" type to lib/util.ml.Hugo Herbelin
2017-05-18[stm] Tweak debug options.Emilio Jesus Gallego Arias
2017-05-05Documenting Option.List.find.Hugo Herbelin
2017-05-05Cosmetic: unifying style within option.ml.Hugo Herbelin
2017-05-05Upgrading some local function as a general-purpose combinator Option.List.map.Hugo Herbelin
2017-04-27Fix 4.04 warningsGaetan Gilbert
2017-04-27Remove some unused values and typesGaetan Gilbert
2017-04-27Fix omitted labels in function callsGaetan Gilbert
2017-04-27Remove unused [rec] keywordsGaetan Gilbert
2017-04-27Locally disable some warnings.Gaetan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:28:20 +0000