aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-05-04follows G. Gilbert's suggestion to have polymorphism following a flagYves Bertot
2018-05-04A modified version that includes code proposed by G. GilbertYves Bertot
2018-05-04This revision contains a simple Check command.Yves Bertot
2018-05-03little cleanup on the defining command, and question in commentsYves Bertot
2018-05-03Merge PR #7134: When an error comes from loading the prelude, tell it happene...Emilio Jesus Gallego Arias
2018-05-03This version contains a simple command that defines a new constantYves Bertot
2018-05-03Merge PR #7375: Implement to_constr with nf_evars_and_universes_opt_substPierre-Marie Pédrot
2018-05-03Fix #7415. Printing Width was not applied to error messages.Pierre Courtieu
2018-05-03Add .byte targets for every bestocaml targetGaëtan Gilbert
2018-05-03Merge PR #7304: Make `intro`/`intros` progress on existential variables.Pierre-Marie Pédrot
2018-05-03Fixes issue #7083 / Windows build: Unify build logging to console (for appvey...Michael Soegtrop
2018-05-03Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomlyMichael Soegtrop
2018-05-03Merge PR #7400: ci-vst.sh: use -o progsEmilio Jesus Gallego Arias
2018-05-03Merge PR #7402: [ci]: add pidetop (fix #7336)Emilio Jesus Gallego Arias
2018-05-02Making explicit that errors happen in one of five executation phases.Hugo Herbelin
2018-05-02Reporting when an error occurs at initialization time.Hugo Herbelin
2018-05-02Make "intro"/"intros" progress on existential variables.Hugo Herbelin
2018-05-02[ci]: add pidetop (fix #7336)Enrico Tassi
2018-05-02Fix #7214: install knows which ml files do not get compiled to cmx.Gaëtan Gilbert
2018-05-02Remove unused Deque filesGaëtan Gilbert
2018-05-02Merge PR #7339: [api] Move bullets and goals selectors to `proofs/`Théo Zimmermann
2018-05-02Merge PR #7403: Makefile doc ownersThéo Zimmermann
2018-05-02first examples of commands taking argumentsYves Bertot
2018-05-02Fix Makefile.ci pattern in CODEOWNERSMaxime Dénès
2018-05-02Make doc owners also own Makefile.docMaxime Dénès
2018-05-02Merge PR #7394: [ci] [travis] Install num by default in all switches.Gaëtan Gilbert
2018-05-02Merge PR #7370: Fix PHONY typo in coq_makefileEnrico Tassi
2018-05-01add usage explanationsYves Bertot
2018-05-01Merge PR #7305: [toplevel] improve indentationEmilio Jesus Gallego Arias
2018-05-01add a simple explanation in the README fileYves Bertot
2018-05-01a first project on how to organize files and define a simple queryYves Bertot
2018-05-01Automatically run alienclean before compiling.Gaëtan Gilbert
2018-05-01Actually take advantage of the normalization status of kernel closures.Pierre-Marie Pédrot
2018-05-01ci-vst.sh: use -o progsGaëtan Gilbert
2018-05-01Merge PR #7397: [ci] Fix #7396: VST is brokenGaëtan Gilbert
2018-05-01[ci] Fix #7396: VST is brokenEmilio Jesus Gallego Arias
2018-05-01[api] Move bullets and goals selectors to `proofs/`Emilio Jesus Gallego Arias
2018-04-30[ci] [travis] Install num by default in all switches.Emilio Jesus Gallego Arias
2018-04-30Merge PR #7379: [doc] Update Sphinx build instructions for Debian derivatives.Théo Zimmermann
2018-04-30Merge PR #6935: Separate universe minimization and evar normalization functionsPierre-Marie Pédrot
2018-04-30Adapt the VM GC hook to handle the no-naked-pointers option flag.Pierre-Marie Pédrot
2018-04-30Make the VM accumulator look like an OCaml block.Pierre-Marie Pédrot
2018-04-30Wrap VM bytecode used on the OCaml side in an OCaml block.Pierre-Marie Pédrot
2018-04-30Merge PR #6944: Strict focusing using Default Goal Selector.Pierre-Marie Pédrot
2018-04-30Merge PR #7355: [owners] Makefile.ci belongs to the CI category.Maxime Dénès
2018-04-30Merge PR #6958: [lib] Move global options to their proper place.Maxime Dénès
2018-04-30[doc] Update Sphinx build instructions for Debian derivatives.Emilio Jesus Gallego Arias
2018-04-30Merge PR #7381: [gitlab] Update base image to Ubuntu bionic + some improvements.Gaëtan Gilbert
2018-04-29Strict focusing using Default Goal Selector.Gaëtan Gilbert
2018-04-29tclSELECT: SelectAll never happensGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-26 10:21:05 +0000