aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-01-28Merge PR #11419: schemes: use rigid universesPierre-Marie Pédrot
2020-01-28Merge PR #11459: cleanup: Lib.freeze doesn't use its [~marshallable] argumentMaxime Dénès
2020-01-27Rephrase to reduce ambiguityPaolo G. Giarrusso
2020-01-27Fix off-by-one in docs of `first num last` (fix #11463)Paolo G. Giarrusso
2020-01-27checkdeps.py: report *all* missing dependencies at oncePaolo G. Giarrusso
2020-01-27checkdeps: check for sphinxcontrib-bibtexPaolo G. Giarrusso
2020-01-27cleanup: Lib.freeze doesn't use its [~marshallable] argumentGaëtan Gilbert
2020-01-27Checker: use inductive's check_template flagGaëtan Gilbert
2020-01-27Merge PR #11415: Remove the CoqIDE "Revert all Buffers" command.Hugo Herbelin
2020-01-27schemes: use rigid universesGaëtan Gilbert
2020-01-27Fix fold order in CArray.fold_right(2)_mapGaëtan Gilbert
2020-01-27Small API additions to kernel/univGaëtan Gilbert
2020-01-25Merge PR #11025: Add Set NativeCompute TimingMaxime Dénès
2020-01-25Publishing a new version on Zenodo: not a relevant step for beta versions.Théo Zimmermann
2020-01-23Merge PR #11446: Changed Gitlab CI runner tag for Windows to windows-inriaEmilio Jesus Gallego Arias
2020-01-23Changed Gitlab CI runner tag for Windows to windows-inriaMichael Soegtrop
2020-01-23Merge PR #11444: Minor tweaks to the 8.11 changelog.Pierre-Marie Pédrot
2020-01-23Merge PR #11445: Clear patches folder before each windows build runThéo Zimmermann
2020-01-23More minor tweaks to the 8.11 changelog.Théo Zimmermann
2020-01-23Add missing 'and'.Théo Zimmermann
2020-01-22Clear patches folder before each windows build runMichael Soegtrop
2020-01-22Minor tweaks to the 8.11 changelog.Théo Zimmermann
2020-01-22Add explicit types to changelog entries.Théo Zimmermann
2020-01-22Fix typo in changelog entry.Théo Zimmermann
2020-01-22Merge PR #11372: Changelog for 8.11.0.Pierre-Marie Pédrot
2020-01-22Merge PR #11438: [lint] Use makefile wrapper instead of calling dune command ...Théo Zimmermann
2020-01-22Insert changelog entry for #11430 from v8.11 branch.Théo Zimmermann
2020-01-22[lint] Use makefile wrapper instead of calling dune command directly.Emilio Jesus Gallego Arias
2020-01-22Move new entries in 8.11.0 changelog.Théo Zimmermann
2020-01-22A few edits to the 8.11 section of the Changes chapter.Théo Zimmermann
2020-01-22Changelog for 8.11.0.Théo Zimmermann
2020-01-22Merge PR #11422: Fix #11421 computation of Set+2Pierre-Marie Pédrot
2020-01-22Fix #11421 computation of Set+2Gaëtan Gilbert
2020-01-22Merge PR #11433: [xml-protocol doc] Fix link to vscoqHugo Herbelin
2020-01-21[xml-protocol doc] Fix link to vscoqRamkumar Ramachandra
2020-01-21More portable C flagsPierre Roux
2020-01-21Merge PR #11425: Miscellaneous typosThéo Zimmermann
2020-01-21Merge PR #11431: [ci] Pin SF until they solve their CI issues.Théo Zimmermann
2020-01-21[ci] Pin SF until they solve their CI issues.Emilio Jesus Gallego Arias
2020-01-21Translating a comment from French to English.Hugo Herbelin
2020-01-21Typo in an anomaly message.Hugo Herbelin
2020-01-21Typo in a comment of univ.mli.Hugo Herbelin
2020-01-21Reference manual: Typos/English in chapter universe polymorphism.Hugo Herbelin
2020-01-20Merge PR #11411: Checker validation now performed over reified dataGaëtan Gilbert
2020-01-20Merge PR #11428: [mltop] Deprecate -load-ml options in anticipation of #11409Pierre-Marie Pédrot
2020-01-20[mltop] Deprecate -load-ml options in anticipation of #11409Emilio Jesus Gallego Arias
2020-01-20Dispatch code ownership of files in dev/doc.Théo Zimmermann
2020-01-19Merge PR #11406: [dune] [dbg] Add support for coqtop in dune-dbgGaëtan Gilbert
2020-01-19Merge PR #11214: Add a script to pin CI developments.Gaëtan Gilbert
2020-01-19Merge PR #11368: Turn trailing implicit warning into an errorHugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 01:26:30 +0000