aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-05-23Merge PR #8768: [stm] Add hooks for document actions.Enrico Tassi
2019-05-22[Ltac2] Add util files for Bool, List, OptionJason Gross
2019-05-23Fixing typos - Part 2JPR
2019-05-22Fix ambiguous comment problemTalia Ringer
2019-05-22unified style for new hooks and old hooksTalia Ringer
2019-05-22Merge PR #10173: Fail: don't catch critical errorsEmilio Jesus Gallego Arias
2019-05-22Merge remote-tracking branch 'origin/master' into stm+doc_hookTalia Ringer
2019-05-22Better dune ocamldebug integrationGaëtan Gilbert
2019-05-22[refman] Add more missing @ signsClément Pit-Claudel
2019-05-22[refman] Misc fixes (mostly missing '@' signs)Clément Pit-Claudel
2019-05-22[refman] Give explicit names to the various 'Arguments' commandsClément Pit-Claudel
2019-05-22Fix dependencies of new test file.Théo Zimmermann
2019-05-22Fix changelog test file on macOS: do not use ls + wc.Théo Zimmermann
2019-05-22Merge PR #10177: Fix #10176: shadowing vs automatic class based generalizatio...Hugo Herbelin
2019-05-22Merge PR #10211: Use grep in changelog test instead of adhoc readsThéo Zimmermann
2019-05-22Merge PR #10203: Fixing typos - Part 1Théo Zimmermann
2019-05-22Merge PR #10178: Improve doc for generalizing bindersThéo Zimmermann
2019-05-22Ltac2 doc fix: syntax for extending an open variant type.Théo Zimmermann
2019-05-22Use grep in changelog test instead of adhoc readsGaëtan Gilbert
2019-05-22Improve doc for generalizing bindersGaëtan Gilbert
2019-05-22Merge PR #10207: Partly revert micromega parsing using typeclasses.Vincent Laporte
2019-05-22Fix #10208 don't fail when passed extensionless -topfileGaëtan Gilbert
2019-05-22Merge PR #9980: [ci] Set artifact expire date for all jobs.Gaëtan Gilbert
2019-05-22Partly revert micromega parsing using typeclasses.Frédéric Besson
2019-05-22Update build-system.txtFourchaux
2019-05-21Fixing typos - Part 1JPR
2019-05-21[ci] Set artifact expire date for all jobs.Emilio Jesus Gallego Arias
2019-05-21Fixing a small bug in computing implicit arguments in (co-)fixpoints.Hugo Herbelin
2019-05-21Adding test for old bug fixed in 8.5 (wrong implicit arguments in fixpoint).Hugo Herbelin
2019-05-21Fixing an indentation in constrintern.ml.Hugo Herbelin
2019-05-21[build] Select uint63 using `ocamlc -config` variables.Emilio Jesus Gallego Arias
2019-05-21[loadpath] Factor in common logic for vio/vo file selection.Emilio Jesus Gallego Arias
2019-05-21[loadpath] Further cleanup after merge with MlTop.Emilio Jesus Gallego Arias
2019-05-21[loadpath] Make loadpath handling self-contained and move to vernacEmilio Jesus Gallego Arias
2019-05-21Merge PR #10188: Remove definition-not-visible warningEmilio Jesus Gallego Arias
2019-05-21Merge PR #10160: Miscellaneous fixes related to the command lineVincent Laporte
2019-05-21Overlay for definition-not-visible overhaulGaëtan Gilbert
2019-05-21Remove definition-not-visible warningGaëtan Gilbert
2019-05-21Overlay for removing Instance: !type syntaxGaëtan Gilbert
2019-05-21Remove undocumented Instance : ! syntaxGaëtan Gilbert
2019-05-21Merge PR #10042: [Classes] Use prepare_parameter from DeclareDef.Gaëtan Gilbert
2019-05-21Merge PR #10174: Further cleanup of the side-effect machineryGaëtan Gilbert
2019-05-21Merge PR #10144: Fix #9919: conversion functions are non-linearHugo Herbelin
2019-05-20Minor Ltac2 documentation fix: type parameters are optional.Théo Zimmermann
2019-05-20[Classes] Use prepare_parameter from DeclareDef.Emilio Jesus Gallego Arias
2019-05-20Do not perform the section variable check on global recipes.Pierre-Marie Pédrot
2019-05-20Ensure statically that declarations built by Term_typing are direct.Pierre-Marie Pédrot
2019-05-20Merge PR #9530: Remove `VtUnkown` classificationGaëtan Gilbert
2019-05-20Merge PR #10186: [CI/Azure/macOS] Target macOS version 10.11Gaëtan Gilbert
2019-05-20Merge PR #9873: Remove test file with Timeout that failed spuriously.Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 22:47:51 +0000