aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-09checkpointYves Bertot
2018-05-09trying to force the resolution of type classes by using a castYves Bertot
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-09an example with type classes, but no class inference triggered yetYves Bertot
2018-05-09repackage with an extra ml file, add a usage of new_type_evarYves Bertot
2018-05-09decompose construction of typed term containing evarsYves Bertot
2018-05-09typoYves Bertot
2018-05-09typoYves Bertot
2018-05-09makefile is necessaryYves Bertot
2018-05-09[sphinx] Warn for dangling tacn / cmd / opt / ... references.Clément Pit-Claudel
2018-05-09[sphinx] Fix new warnings related to tacn, cmd, opt...Théo Zimmermann
2018-05-09Replacing a broken reference by hyperlinks in chapter tactics.Hugo Herbelin
2018-05-09A few fixes in chapter tactics.Hugo Herbelin
2018-05-08Merge PR #7459: Try to fix CODEOWNERSThéo Zimmermann
2018-05-08Don't use ref universe_opt_substGaëtan Gilbert
2018-05-08Merge PR #7446: [lib] Re-add `set_timeout` to help users workaround #7408Pierre-Marie Pédrot
2018-05-08intermediary stage with an EConstr containing a hand-made evar, fautyYves Bertot
2018-05-08corrects a problem in documenting how to run the demoYves Bertot
2018-05-08problems with bullet listsYves Bertot
2018-05-08try with triple backticksYves Bertot
2018-05-08attempt to make code inclusions appear correctlyYves Bertot
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[api] Move universe syntax to `Glob_term`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-07Merge branch 'master' of https://github.com/ybertot/plugin_tutorialsYves Bertot
2018-05-07adds a copy of the show_proof commandYves Bertot
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-07[vernac] taint two out-of-api `to_constr` use in `comDefinition`.Emilio Jesus Gallego Arias
2018-05-07Merge pull request #1 from matejkosik/masterYves Bertot
2018-05-07Add CODEOWNERS entry for check-owners*.shGaëtan Gilbert
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-07fix some detailsMatej Košík
2018-05-07[ci] Add ounit to the base Docker package set.Emilio Jesus Gallego Arias
2018-05-07Merge PR #7427: Fix #7413: coqdep warning on repeated filesPierre-Marie Pédrot
2018-05-07fix some detailsMatej Košík
2018-05-07add some more material (preliminary provided in "tuto2" directory)Matej Košík
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-26 03:10:56 +0000