Created papers directory

joshvera · Oct 8, 2012 · 09857e4 · 09857e4
1 parent 0679225
commit 09857e4
Show file tree

Hide file tree

Showing 21 changed files with 0 additions and 0 deletions.
diff --git a/impl-paper/Makefile → papers/impl-paper/Makefile b/impl-paper/Makefile → papers/impl-paper/Makefile
diff --git a/impl-paper/acmtrans.bst → papers/impl-paper/acmtrans.bst b/impl-paper/acmtrans.bst → papers/impl-paper/acmtrans.bst
diff --git a/impl-paper/acmtrans2m.cls → papers/impl-paper/acmtrans2m.cls b/impl-paper/acmtrans2m.cls → papers/impl-paper/acmtrans2m.cls
diff --git a/impl-paper/comments.sty → papers/impl-paper/comments.sty b/impl-paper/comments.sty → papers/impl-paper/comments.sty
diff --git a/impl-paper/compiling.tex → papers/impl-paper/compiling.tex b/impl-paper/compiling.tex → papers/impl-paper/compiling.tex
diff --git a/impl-paper/conclusions.tex → papers/impl-paper/conclusions.tex b/impl-paper/conclusions.tex → papers/impl-paper/conclusions.tex
diff --git a/impl-paper/delab.tex → papers/impl-paper/delab.tex b/impl-paper/delab.tex → papers/impl-paper/delab.tex
diff --git a/impl-paper/elaboration.tex → papers/impl-paper/elaboration.tex b/impl-paper/elaboration.tex → papers/impl-paper/elaboration.tex
diff --git a/impl-paper/hll.tex → papers/impl-paper/hll.tex b/impl-paper/hll.tex → papers/impl-paper/hll.tex
diff --git a/impl-paper/impldtp.tex → papers/impl-paper/impldtp.tex b/impl-paper/impldtp.tex → papers/impl-paper/impldtp.tex
diff --git a/impl-paper/intro.tex → papers/impl-paper/intro.tex b/impl-paper/intro.tex → papers/impl-paper/intro.tex
diff --git a/impl-paper/jfp.bst → papers/impl-paper/jfp.bst b/impl-paper/jfp.bst → papers/impl-paper/jfp.bst
diff --git a/impl-paper/jfp1.cls → papers/impl-paper/jfp1.cls b/impl-paper/jfp1.cls → papers/impl-paper/jfp1.cls
diff --git a/impl-paper/library.bib → papers/impl-paper/library.bib b/impl-paper/library.bib → papers/impl-paper/library.bib
diff --git a/impl-paper/library.ltx → papers/impl-paper/library.ltx b/impl-paper/library.ltx → papers/impl-paper/library.ltx
diff --git a/impl-paper/literature.bib → papers/impl-paper/literature.bib b/impl-paper/literature.bib → papers/impl-paper/literature.bib
diff --git a/impl-paper/macros.ltx → papers/impl-paper/macros.ltx b/impl-paper/macros.ltx → papers/impl-paper/macros.ltx
diff --git a/impl-paper/overview.tex → papers/impl-paper/overview.tex b/impl-paper/overview.tex → papers/impl-paper/overview.tex
diff --git a/impl-paper/proofstate.tex → papers/impl-paper/proofstate.tex b/impl-paper/proofstate.tex → papers/impl-paper/proofstate.tex
diff --git a/impl-paper/syntax.tex → papers/impl-paper/syntax.tex b/impl-paper/syntax.tex → papers/impl-paper/syntax.tex
diff --git a/impl-paper/typechecking.tex → papers/impl-paper/typechecking.tex b/impl-paper/typechecking.tex → papers/impl-paper/typechecking.tex