aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-05-30Merge PR#706: Add some test-suite generated files to .gitignoreMaxime Dénès
2017-05-30Add some test-suite generated files to .gitignoreJason Gross
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-29Merge PR#687: Gitlab CIMaxime Dénès
2017-05-29Merge PR#690: [stm] Uniformize `Sideff / Sideff.Maxime Dénès
2017-05-29Merge PR#555: Missing optimization when Kernel Term Sharing is disabled.Maxime Dénès
2017-05-29Configuration with -local definitively seen as an installation layout like ot...Hugo Herbelin
2017-05-29Using the same strategy in coqdoc than in coqtop to guess the coqlib.Hugo Herbelin
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-29Configure: viewing compilation in -local itself as an installation layout.Hugo Herbelin
2017-05-29Configuration: always giving a value to configdir and datadir.Hugo Herbelin
2017-05-29More structure and more code factorization in building defaultHugo Herbelin
2017-05-29Unifying the layout of installation directories.Hugo Herbelin
2017-05-29Unified terminology in configure.ml/coq_config.ml: arch_win32 -> arch_is_win32.Hugo Herbelin
2017-05-29Mini-renaming in configure.ml to avoid switching back and forth fromHugo Herbelin
2017-05-29Dead code (xdg_config_dirs).Hugo Herbelin
2017-05-29Merge PR#512: [cleanup] Unify all calls to the error function.Maxime Dénès
2017-05-28Merge PR#678: [coqlib] Move `Coqlib` to `library/`.Maxime Dénès
2017-05-28Merge PR#689: Changes to make coq-makefile not failing on MacOS X.Maxime Dénès
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2017-05-28Merge PR#675: [coqlib] Deprecate redundant Coqlib functions.Maxime Dénès
2017-05-28Merge PR#683: coq_makefile: build .cma for each .mlpackMaxime Dénès
2017-05-28Don't disable deprecation warning for configure.mlGaëtan Gilbert
2017-05-28Merge PR#684: Trunk+fix coq makefile test suite on nixosMaxime Dénès
2017-05-28Merge PR#681: Fix votour for safe strings & warningsMaxime Dénès
2017-05-28Gitlab CIGaëtan Gilbert
2017-05-28Merge PR#680: add Show test with -emacs flag for trunkMaxime Dénès
2017-05-28Merge PR#676: Primitive Ltac definitions for first and solveMaxime Dénès
2017-05-28Merge PR#658: [coqdoc] Add keywords in bug 2884.Maxime Dénès
2017-05-27[stm] Rename Side-Effect type.Emilio Jesus Gallego Arias
2017-05-27[cleanup] Unify all calls to the error function.Emilio Jesus Gallego Arias
2017-05-27[stm] Uniformize `Sideff / Sideff.Emilio Jesus Gallego Arias
2017-05-27[coqlib] Move `Coqlib` to `library/`.Emilio Jesus Gallego Arias
2017-05-27[coqlib] Deprecate redundant Coqlib functions.Emilio Jesus Gallego Arias
2017-05-27coq_makefile: build .cma for each .mlpackEnrico Tassi
2017-05-27Documenting the existence of first and solve as Ltac definitions.Pierre-Marie Pédrot
2017-05-27Exporting a few primitive tacticals as named Ltac definitions.Pierre-Marie Pédrot
2017-05-27Merge PR#686: [travis] temporary UniMath overlayMaxime Dénès
2017-05-27[travis] temporary UniMath overlayMaxime Dénès
2017-05-27Add execution permission to test-suite file.Théo Zimmermann
2017-05-27Use specific shell for more robustness.Théo Zimmermann
2017-05-27Fix test-suite/coq-makefile on NixOS.Théo Zimmermann
2017-05-26Changes to make coq-makefile not failing on MacOS X.Hugo Herbelin
2017-05-26Merge pull request #7 from SkySkimmer/checker+fix_votourEmilio Jesús Gallego Arias
2017-05-26[checker] [votour] resolve warning 52 fragile constant patternGaëtan Gilbert
2017-05-26Merge PR#666: romega revisited : no more normalization trace, cleaned-up reso...Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 18:59:06 +0000