Unverified Commit b61b3e53 authored by Théo Zimmermann's avatar Théo Zimmermann Committed by GitHub
Browse files

Update Rocq documentation (#480647)

parents 4ea4c440 9ad70fb6

doc/languages-frameworks/index.md

+1 −1
Original line number Diff line number Diff line
@@ -56,7 +56,7 @@ android.section.md 
astal.section.md

beam.section.md

chicken.section.md

coq.section.md

rocq.section.md

cosmic.section.md

crystal.section.md

cuda.section.md

doc/languages-frameworks/coq.section.md→doc/languages-frameworks/rocq.section.md

+62 −78

File changed and moved.

Preview size limit exceeded, changes collapsed.

doc/redirects.json

+14 −7
Original line number Diff line number Diff line
@@ -2933,25 +2933,32 @@ 
  "sec-chicken-override-scope": [

    "index.html#sec-chicken-override-scope"

  ],

  "sec-language-coq": [

  "sec-language-rocq": [

    "index.html#sec-language-rocq",

    "index.html#sec-language-coq"

  ],

  "coq-derivation-coq": [

  "rocq-derivation-rocq": [

    "index.html#rocq-derivation-rocq",

    "index.html#coq-derivation-coq"

  ],

  "coq-packages-attribute-sets-coqpackages": [

  "rocq-packages-attribute-sets-rocqpackages": [

    "index.html#rocq-packages-attribute-sets-rocqpackages",

    "index.html#coq-packages-attribute-sets-coqpackages"

  ],

  "coq-overriding-packages": [

  "rocq-overriding-packages": [

    "index.html#rocq-overriding-packages",

    "index.html#coq-overriding-packages"

  ],

  "coq-override": [

  "rocq-override": [

    "index.html#rocq-override",

    "index.html#coq-override"

  ],

  "coq-overrideCoqDerivation": [

  "rocq-overrideRocqDerivation": [

    "index.html#rocq-overrideRocqDerivation",

    "index.html#coq-overrideCoqDerivation"

  ],

  "coq-overrideAttrs": [

  "rocq-overrideAttrs": [

    "index.html#rocq-overrideAttrs",

    "index.html#coq-overrideAttrs"

  ],

  "crystal": [

pkgs/development/rocq-modules/mathcomp/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -7,7 +7,7 @@ 
############################################################################

# Compiling a custom version of mathcomp using `mathcomp.override`.        #

# This is the replacement for the former `mathcomp_ config` function.      #

# See the documentation at doc/languages-frameworks/coq.section.md.        #

# See the documentation at doc/languages-frameworks/rocq.section.md.       #

############################################################################



{