aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
| * [Sphinx] Add chapter 5Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 5 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6983: Sphinx doc chapter 4Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 4Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 4 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6982: Sphinx doc chapter 2Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 2Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 2 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6979: Sphinx doc creditsGravatar Maxime Dénès2018-03-15
|\
* \ Merge PR #6912: [doc] Document removal of deprecated options.Gravatar Maxime Dénès2018-03-15
|\ \
* \ \ Merge PR #6967: [META] Update Coq version number.Gravatar Maxime Dénès2018-03-15
|\ \ \
| | | * [Sphinx] Add creditsGravatar Maxime Dénès2018-03-15
| | | * [Sphinx] Move credits to new infrastructureGravatar Maxime Dénès2018-03-15
| |_|/ |/| |
* | | Merge PR #6975: Fix whitespace issue in TacticNotationsVisitor.pyGravatar Maxime Dénès2018-03-14
|\ \ \
* \ \ \ Merge PR #6973: [Sphinx] migrate introductionGravatar Maxime Dénès2018-03-14
|\ \ \ \
| * | | | [Sphinx] Add introductionGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Move introduction to new infrastructureGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Add "edit on github"Gravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Mention licenseGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Remove ad-hoc color for links interfering with TOCGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Update some metadataGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Read version number from configureGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Comment out metadata for unused backendsGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Remove information for .chm backendGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] add bibliographyGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Add indexesGravatar Maxime Dénès2018-03-13
| * | | | [Sphinx] Add table of contentsGravatar Maxime Dénès2018-03-12
| | * | | Fix whitespace issue in TacticNotationsVisitor.pyGravatar Maxime Dénès2018-03-12
| |/ / / |/| | |
| * | | [Sphinx] Add doc preambleGravatar Maxime Dénès2018-03-12
| * | | [Sphinx] Add a few grammar constructionsGravatar Maxime Dénès2018-03-12
|/ / /
| * / [META] Update Coq version number.Gravatar Emilio Jesus Gallego Arias2018-03-11
|/ /
* | Merge PR #6869: [ssreflect] Fix module scoping problems due to packing and ml...Gravatar Maxime Dénès2018-03-10
|\ \
| * | [ssreflect] Fix module scoping problems due to packing and mli files.Gravatar Emilio Jesus Gallego Arias2018-03-10
|/ /
* | Merge PR #6837: [located] Push inner locations in reference to a CAst.t node.Gravatar Maxime Dénès2018-03-10
|\ \
* \ \ Merge PR #6831: [located] More work towards using CAst.tGravatar Maxime Dénès2018-03-10
|\ \ \
| | | * [doc] Document removal of deprecated options.Gravatar Emilio Jesus Gallego Arias2018-03-09
| |_|/ |/| |
| | * [located] Push inner locations in `reference` to a CAst.t node.Gravatar Emilio Jesus Gallego Arias2018-03-09
| |/
| * [located] More work towards using CAst.tGravatar Emilio Jesus Gallego Arias2018-03-09
|/
* Merge PR #6946: Fix expected number of arguments for cumulative constructors.Gravatar Maxime Dénès2018-03-09
|\
* \ Merge PR #6949: Revert PR #873: New strategy based on open scopes for decidin...Gravatar Maxime Dénès2018-03-09
|\ \
| | * Fix expected number of arguments for cumulative constructors.Gravatar Gaëtan Gilbert2018-03-09
| |/ |/|
* | Merge PR #6775: Allow using cumulativity without forcing strict constraints.Gravatar Maxime Dénès2018-03-09
|\ \
| | * Revert "Merge PR #873: New strategy based on open scopes for deciding which n...Gravatar Maxime Dénès2018-03-09
* | | Merge PR #6953: [default.nix] Pin nixpkgs version to include Sphinx dependenciesGravatar Maxime Dénès2018-03-09
|\ \ \
* \ \ \ Merge PR #6806: Adding missing unification constraint noticed by @skyskimmerGravatar Maxime Dénès2018-03-09
|\ \ \ \
* \ \ \ \ Merge PR #6769: Split closure cache and remove whd_bothGravatar Maxime Dénès2018-03-09
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6923: Export optionsGravatar Maxime Dénès2018-03-09
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | |
| | | | * | [default.nix] Pin nixpkgs version to include Sphinx dependenciesGravatar Vincent Laporte2018-03-09
| | | | * | [default.nix] minor cleaningGravatar Vincent Laporte2018-03-09
| |_|_|/ / |/| | | |
| | | | * Overlay for Elpi.Gravatar Gaëtan Gilbert2018-03-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 16:11:13 +0000