Compare revisions

fa344cbe · fa344cbe · fa344cbe · fa344cbe · fa344cbe · 4d8c4ac8
--- a/coq-iris-unstable.opam
+++ b/coq-iris-unstable.opam
--- a/coq-iris.opam
+++ b/coq-iris.opam
--- 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/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/derived.v
+++ b/heap_lang/derived.v
No results found