aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2018-07-08Modify URLs in xml-protocol.mdRin Arakaki
2018-07-07Add an overlay.Pierre-Marie Pédrot
2018-07-07Introduce a Pcoq.Entry module for functions that ought to be exported.Pierre-Marie Pédrot
2018-07-05Merge PR #7746: Many small cleanups removing unused arguments and functionsPierre-Marie Pédrot
2018-07-05Merge PR #7979: TACTIC EXTEND in coqppEmilio Jesus Gallego Arias
2018-07-04[ci] Avoid annoying detached head warning.Emilio Jesus Gallego Arias
2018-07-03Merge PR #7978: [ci] [docker] Make sure we don't install optional packages wi...Gaëtan Gilbert
2018-07-03Add overlay for equations.Gaëtan Gilbert
2018-07-03Merge PR #7820: [hints] Add Hint Variables/Constants Opaque/Transparent commandsPierre-Marie Pédrot
2018-07-02[ci] [docker] Make sure we don't install optional packages with apt.Emilio Jesus Gallego Arias
2018-07-02Documenting the syntax changes.Pierre-Marie Pédrot
2018-07-02Add Equations overlayMatthieu Sozeau
2018-07-02Clean up documentation around beginner's guide.Siddharth Bhat
2018-07-02Merge PR #7902: Use a homebrew parser to replace the GEXTEND extension points...Emilio Jesus Gallego Arias
2018-07-01Merge PR #7964: Document that GITURL variables shouldn't have a trailing .git...Emilio Jesus Gallego Arias
2018-07-01Merge PR #7410: Splitting primitive numeral parser/printer for positive, N, Z...Emilio Jesus Gallego Arias
2018-06-29Adding an overlay for the PR.Pierre-Marie Pédrot
2018-06-29Documenting the transition strategy of GEXTEND.Pierre-Marie Pédrot
2018-06-29Document that GITURL variables shouldn't have a trailing .git anymore.Théo Zimmermann
2018-06-29Merge PR #7918: Mini-update of version history with recent changes.Théo Zimmermann
2018-06-29Splitting primitive numeral parser/printer for positive, N, Z into three files.Hugo Herbelin
2018-06-29Merge PR #7080: Swapping Context and Constr and defining declarations on cons...Maxime Dénès
2018-06-29Merge PR #7745: Make type Environ.globals abstract + simplify Environ.retrokn...Maxime Dénès
2018-06-28Merge PR #7928: Fix 'unbound variable' issue on Windows packaging jobs.Michael Soegtrop
2018-06-28Merge PR #7917: Critical bugs: added #3243 and Gonthier's bug in lazy machine.Théo Zimmermann
2018-06-28Make Environ.globals abstract.Gaëtan Gilbert
2018-06-27Add mit-plv/bedrock2-ci to CIAndres Erbsen
2018-06-27Adding overlay.Hugo Herbelin
2018-06-27Swapping Context and Constr: defining declarations on constr in Constr.Hugo Herbelin
2018-06-27Fix 'unbound variable' issue on Windows packaging jobs.Théo Zimmermann
2018-06-27Merge PR #7863: Remove Sorts.contentsPierre-Marie Pédrot
2018-06-26Merge PR #7906: universes_of_constr don't include universes of monomorphic co...Pierre-Marie Pédrot
2018-06-26Merge PR #7831: Fix for issue #7707: include Ltac2 and Equations in Windows b...Maxime Dénès
2018-06-26Merge PR #7783: Move INSTALL.doc to doc/README.md and improve a few things.Maxime Dénès
2018-06-26Add overlay for elpiGaëtan Gilbert
2018-06-26Remove Sorts.contentsGaëtan Gilbert
2018-06-26Add overlay for Equations, ElpiGaëtan Gilbert
2018-06-25Activate the build of Ltac2 and Equations in the Windows installer.Théo Zimmermann
2018-06-25Reuse CI info to know which version of plugins to build on Windows.Théo Zimmermann
2018-06-25Fix for issue 7707: include Ltac2 and Equations in Windows buildMichael Soegtrop
2018-06-25Mini-update of version history with recent changes.Hugo Herbelin
2018-06-25Critical bugs: added #3243 and Gonthier's bug in lazy machine.Hugo Herbelin
2018-06-24Merge PR #7895: Revert "Add a note about [ci skip] in CI README."Emilio Jesus Gallego Arias
2018-06-24Merge PR #7805: Towards listing the critical bugs of the history of Coq.Théo Zimmermann
2018-06-22Merge PR #7893: Update dpdgraph branch nameThéo Zimmermann
2018-06-22Revert "Add a note about [ci skip] in CI README."Théo Zimmermann
2018-06-22Fix Windows install script following removal of INSTALL.ide and move of INSTA...Théo Zimmermann
2018-06-21Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3Maxime Dénès
2018-06-21Update dpdgraph branch nameGaëtan Gilbert
2018-06-19Merge PR #7797: Remove reference name type.Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 13:36:54 +0000