move documentation directly into docs/

764f5144 · Ralf Jung · cca64185 · 764f5144 · 764f5144 · 764f5144
Commit 764f5144 authored 9 years ago by Ralf Jung
--- a/docs/iris/algebra.tex
+++ b/docs/iris/algebra.tex
--- a/docs/iris/constructions.tex
+++ b/docs/iris/constructions.tex
--- a/docs/iris/derived.tex
+++ b/docs/iris/derived.tex
--- a/docs/iris/encodings.tex
+++ b/docs/iris/encodings.tex
--- a/docs/iris/iris.tex
+++ b/docs/iris/iris.tex
--- a/docs/iris/bib.bib
+++ b/docs/iris/bib.bib
-../bib.bib
\ No newline at end of file
--- a/docs/iris/listproc.sty
+++ b/docs/iris/listproc.sty
-../listproc.sty
\ No newline at end of file
--- a/docs/iris/locallabel.sty
+++ b/docs/iris/locallabel.sty
-../locallabel.sty
\ No newline at end of file
--- a/docs/iris/mathpartir.sty
+++ b/docs/iris/mathpartir.sty
-../mathpartir.sty
\ No newline at end of file
--- a/docs/iris/pftools.sty
+++ b/docs/iris/pftools.sty
-../pftools.sty
\ No newline at end of file
--- a/docs/iris/setup.tex
+++ b/docs/iris/setup.tex
-../setup.tex
\ No newline at end of file
--- a/docs/iris/logic.tex
+++ b/docs/iris/logic.tex
--- a/docs/iris/model.tex
+++ b/docs/iris/model.tex