Merge pull request #1 from kth-step/simplify

remove custom datatypes, add Ott definitions to report
kth-step · Jan 16, 2024 · ccf47ab · ccf47ab
2 parents f0543df + 8adba26
commit ccf47ab
Show file tree

Hide file tree

Showing 6 changed files with 242 additions and 797 deletions.
diff --git a/Makefile.coq.local b/Makefile.coq.local
@@ -20,6 +20,7 @@ docs/report/main.tex: docs/report/main.mng src/abs.ott
 docs/report/main.pdf: docs/report/abs_defs.tex docs/report/main.tex
 	pdflatex -output-directory=docs/report docs/report/main.tex
 	pdflatex -output-directory=docs/report docs/report/main.tex
+	pdflatex -output-directory=docs/report docs/report/main.tex
 
 coqdoc: $(GLOBFILES) $(VFILES) $(CSSFILES) $(JSFILES) $(HTMLFILES)
 	$(SHOW)'COQDOC -d $(COQDOCDIR)'
@@ -33,6 +34,6 @@ resources/index.html: resources/index.md
 	pandoc -s -o $@ $<
 
 clean::
-	$(HIDE)rm -f theories/abs_defs.v docs/abs_defs.tex \
+	$(HIDE)rm -f docs/abs_defs.tex \
 	 docs/report/main.tex docs/report/main.log docs/report/main.out \
  	 docs/report/main.toc docs/report/main.pdf docs/report/main.aux