clean up

bobzhang · May 18, 2012 · 84bc033 · 84bc033
1 parent ed34904
commit 84bc033
Show file tree

Hide file tree

Showing 77 changed files with 8,751 additions and 783 deletions.
diff --git a/.directory b/.directory
@@ -0,0 +1,5 @@
+[Dolphin]
+Sorting=6
+Timestamp=2012,5,8,13,26,51
+Version=2
+ViewMode=2
diff --git a/Makefile b/Makefile
@@ -12,10 +12,14 @@
 all:
 	pdflatex -shell-escape master.tex
 	pdflatex -shell-escape master.tex
+	chmod 755 master.pdf
+	rm -f ~/pub/temp.pdf
+	cp ./master.pdf ~/pub/temp.pdf
+	chmod 755 ~/pub/temp.pdf
 	# open master.pdf
 mac:
 	pdflatex -shell-escape master.tex
 	pdflatex -shell-escape master.tex
 	open master.pdf
 clean:
-	rm -rf *~ *.log auto/*  _* *.lot *.lof *.toc *.out *.bak *.html
+	rm -rf *~ *.log auto/*  _* *.lot *.lof *.toc *.out *.bak *.html *.aux
diff --git a/bugs/reload.tex b/bugs/reload.tex
@@ -7,5 +7,10 @@ \section{Reload duplicate modules }
 
 Polymorphic comparisons
 
+Evaluation order is undefined for tuples
+
+Evaluation order is undefined for records
+Evaluation order is undefined for lists
+Evaluation order is undefined for application 
 \todo{polymorphic comparison}
 \href{https://ocaml.janestreet.com/?q=node/33}{jane}