Compare revisions

017605dd · 017605dd · 017605dd · e8cc63fe · 017605dd · 017605dd
--- a/coq-lint.sh
+++ b/coq-lint.sh
--- a/docs/dune.md
+++ b/docs/dune.md
--- a/docs/editor.md
+++ b/docs/editor.md
--- a/docs/encodings.tex
+++ b/docs/encodings.tex
--- a/docs/equalities_and_entailments.md
+++ b/docs/equalities_and_entailments.md
--- a/docs/heap_lang.md
+++ b/docs/heap_lang.md
--- a/docs/ibus
+++ b/docs/ibus
--- a/docs/iris.tex
+++ b/docs/iris.tex
--- a/docs/model.tex
+++ b/docs/model.tex
--- a/docs/program-logic.tex
+++ b/docs/program-logic.tex
--- a/docs/proof_guide.md
+++ b/docs/proof_guide.md
--- a/docs/proof_mode.md
+++ b/docs/proof_mode.md
--- a/docs/resource_algebras.md
+++ b/docs/resource_algebras.md
--- a/docs/style_guide.md
+++ b/docs/style_guide.md
--- a/docs/vim_ultisnips
+++ b/docs/vim_ultisnips
--- a/docs/vscode
+++ b/docs/vscode
--- a/dune
+++ b/dune
--- a/dune-project
+++ b/dune-project
+(lang dune 3.8)
+(using coq 0.8)
--- a/heap_lang/adequacy.v
+++ b/heap_lang/adequacy.v
--- a/heap_lang/derived.v
+++ b/heap_lang/derived.v
No results found