aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-05-13Fixing a bug in printing the body of a located notation.Hugo Herbelin
2018-05-13Removing a superfluous trailing newline in "Locate" for a notation.Hugo Herbelin
2018-05-13Merge PR #7477: Support for notations with autonomous only-parsing and only-p...Emilio Jesus Gallego Arias
2018-05-13Merge PR #7489: gitlab CI: remove math-classes jobEmilio Jesus Gallego Arias
2018-05-11gitlab CI: remove math-classes jobGaëtan Gilbert
2018-05-11Merge PR #7340: Remove DirClosedSection.Enrico Tassi
2018-05-11Merge PR #7470: use at least 6 Xs in mktemp filename templatesGaëtan Gilbert
2018-05-11Merge PR #6959: [build] Build checker generated files using a make rule.Enrico Tassi
2018-05-11Notations: advertize that distinct "only parsing"/"only printing" rules work.Hugo Herbelin
2018-05-11Merge PR #7466: Remove tutorials from the repoMaxime Dénès
2018-05-11Merge PR #7461: [sphinx] Improve the proof handling chapter.Maxime Dénès
2018-05-11Merge PR #7341: Don't recurse into closed modules/sections in split_lib.Enrico Tassi
2018-05-11Merge PR #7363: [ci] Fix another issue with the timing testsGaëtan Gilbert
2018-05-11Merge PR #7456: [toplevel] Don't ignore output filename provided by user in -oThéo Zimmermann
2018-05-10Merge PR #7437: [coqdep] Minor cleanups.Pierre-Marie Pédrot
2018-05-10Suggest going to /documentation to see a list of tutorials.Théo Zimmermann
2018-05-10One can build all the HTML doc using default.nix.Théo Zimmermann
2018-05-10Clean-up in Makefile.doc and include Sphinx in doc-html target.Théo Zimmermann
2018-05-10Remove tutorials.Théo Zimmermann
2018-05-10Fixes #7462, part 2 (only-printing not make believe parsing rule is declared).Hugo Herbelin
2018-05-10Fixes part 1 of #7462 (only-printing not to override existing interp rule).Hugo Herbelin
2018-05-10Merge PR #7473: [ci] Add mit-plv/cross-cryptoEmilio Jesus Gallego Arias
2018-05-10Merge PR #7471: [travis] Fix version of camlp5 for OCaml 4.06.1.Emilio Jesus Gallego Arias
2018-05-10[build] Build checker generated files using a make rule.Emilio Jesus Gallego Arias
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
2018-05-09[sphinx] Improve proof handling chapter.Théo Zimmermann
2018-05-09Clarify that the description of coqtop does not reflect all user interfaces.Théo Zimmermann
2018-05-09[sphinx] Improvements around the Show commands, including missing indices and...Théo Zimmermann
2018-05-09[travis] Add explicit opam switch command to guarantee we're using the reques...Théo Zimmermann
2018-05-09[travis] Fix version of camlp5 for OCaml 4.06.1.Théo Zimmermann
2018-05-09use at least 6 Xs in mktemp filename templatesSven M. Hallberg
2018-05-09test for coqc -oEnrico Tassi
2018-05-09Merge PR #7438: [gitlab] Do expensive builds with the flambda compiled Coq.Gaëtan Gilbert
2018-05-09Merge PR #7435: [gitlab] Add bleeding-edge flambda build.Gaëtan Gilbert
2018-05-08Merge PR #7459: Try to fix CODEOWNERSThéo Zimmermann
2018-05-08Merge PR #7446: [lib] Re-add `set_timeout` to help users workaround #7408Pierre-Marie Pédrot
2018-05-08Try to fix CODEOWNERSMaxime Dénès
2018-05-08[gitlab] Do expensive builds with a flambda-compiled Coq.Emilio Jesus Gallego Arias
2018-05-08[CoqProject] Add some comments and remove unnecessary use of Pp.Emilio Jesus Gallego Arias
2018-05-08[coqdep] Remove unnecessary dependency on Pp and CError.Emilio Jesus Gallego Arias
2018-05-08[coqdep] Minor cleanups.Emilio Jesus Gallego Arias
2018-05-08[toplevel] Don't ignore output filename provided by user in -oEmilio Jesus Gallego Arias
2018-05-07[gitlab] Add bleeding-edge flambda build.Emilio Jesus Gallego Arias
2018-05-07[lib] Re-add `set_timeout` to help users workaround #7408Emilio Jesus Gallego Arias
2018-05-07Merge PR #7347: Fix for #7081 (Windows lablgtk) and #7083 (Windows logging)Maxime Dénès
2018-05-07Merge PR #7371: Propose some updates of the CODEOWNER file.Maxime Dénès
2018-05-07Merge PR #7445: [ci] Add ounit to the base Docker package set.Gaëtan Gilbert
2018-05-07Merge PR #7301: [sphinx] Backport forgotten updates during the migration & ot...Maxime Dénès
2018-05-07Merge PR #7440: [ci] Add a default target to `Makefile.ci`Gaëtan Gilbert
2018-05-07[ci] Add ounit to the base Docker package set.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-29 18:42:08 +0000