Compare revisions

9f18e97d · 9f18e97d · 9f18e97d · 9f18e97d · 9f18e97d · 9f18e97d
--- a/tests/string_ident.v
+++ b/tests/string_ident.v
--- a/tests/telescopes.ref
+++ b/tests/telescopes.ref
--- a/tests/telescopes.v
+++ b/tests/telescopes.v
--- a/tests/tree_sum.ref
+++ b/tests/tree_sum.ref
--- a/tests/tree_sum.v
+++ b/tests/tree_sum.v
--- a/docs/.gitignore
+++ b/docs/.gitignore
--- a/tex/Makefile
+++ b/tex/Makefile
--- a/docs/algebra.tex
+++ b/docs/algebra.tex
--- a/docs/logic.tex
+++ b/docs/logic.tex
--- a/docs/bib.bib
+++ b/docs/bib.bib
--- a/tex/constructions.tex
+++ b/tex/constructions.tex
--- a/docs/derived.tex
+++ b/docs/derived.tex
--- a/tex/extended-logic.tex
+++ b/tex/extended-logic.tex
--- a/tex/heaplang.sty
+++ b/tex/heaplang.sty
--- a/tex/heaplang.tex
+++ b/tex/heaplang.tex
--- a/docs/iris.sty
+++ b/docs/iris.sty
--- a/tex/iris.tex
+++ b/tex/iris.tex
--- a/tex/language.tex
+++ b/tex/language.tex
--- a/docs/listproc.sty
+++ b/docs/listproc.sty
--- a/docs/locallabel.sty
+++ b/docs/locallabel.sty
No results found