aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2018-08-06Merge PR #8073: Use GitHub as the location for OCaml sources.Michael Soegtrop
2018-07-27[ci] Remove CircleCI setup.Emilio Jesus Gallego Arias
2018-07-25Merge PR #7859: Remove himsg.pr_puniverses, use @{} for universe printing in ...Pierre-Marie Pédrot
2018-07-25Merge PR #734: [travis] Also run coqchk on HoTTEmilio Jesus Gallego Arias
2018-07-25Add overlay for EquationsGaëtan Gilbert
2018-07-25Merge PR #8063: Direct implementation of Ascii.eqb and String.eqb (take 2)Hugo Herbelin
2018-07-24[travis] Also run coqchk on HoTTJason Gross
2018-07-24Add overlay for Equations.Gaëtan Gilbert
2018-07-24Projections use index representationGaëtan Gilbert
2018-07-19Merge PR #7941: Extend QuestionMark to produce a better error message in case...Pierre-Marie Pédrot
2018-07-18Merge PR #8054: [dev] Autogenerate OCaml dev files.Enrico Tassi
2018-07-17Remove fourier pluginMaxime Dénès
2018-07-17Add overlay for Coq-Equations for QuestionMark.Siddharth Bhat
2018-07-16Add overlay for QuickChickJason Gross
2018-07-16Only check overlay extensions on git-tracked filesJason Gross
2018-07-15Use GitHub as the location for OCaml sources.Théo Zimmermann
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
2018-07-12Merge PR #8051: Clean-up user-overlays folder.Emilio Jesus Gallego Arias
2018-07-12Clean-up user-overlays folder.Théo Zimmermann
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
2018-07-11Merge PR #7898: Remove camlp4 remainsEmilio Jesus Gallego Arias
2018-07-10Add new options --no-conflict and --no-signature-check to backport script.Théo Zimmermann
2018-07-08Modify URLs in xml-protocol.mdRin Arakaki
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 09:19:51 +0000