Created papers directory
commit09857e45d50490cae72afa07e8e6e3c81697a963
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 8 Oct 2012, 19:57 (14 years ago)
parent0679225
impl-paper/Makefile → papers/impl-paper/Makefilerenamed
The content is the same.
impl-paper/acmtrans.bst → papers/impl-paper/acmtrans.bstrenamed
The content is the same.
impl-paper/acmtrans2m.cls → papers/impl-paper/acmtrans2m.clsrenamed
The content is the same.
impl-paper/comments.sty → papers/impl-paper/comments.styrenamed
The content is the same.
impl-paper/compiling.tex → papers/impl-paper/compiling.texrenamed
The content is the same.
impl-paper/conclusions.tex → papers/impl-paper/conclusions.texrenamed
The content is the same.
impl-paper/delab.tex → papers/impl-paper/delab.texrenamed
The content is the same.
impl-paper/elaboration.tex → papers/impl-paper/elaboration.texrenamed
The content is the same.
impl-paper/hll.tex → papers/impl-paper/hll.texrenamed
The content is the same.
impl-paper/impldtp.tex → papers/impl-paper/impldtp.texrenamed
The content is the same.
impl-paper/intro.tex → papers/impl-paper/intro.texrenamed
The content is the same.
impl-paper/jfp.bst → papers/impl-paper/jfp.bstrenamed
The content is the same.
impl-paper/jfp1.cls → papers/impl-paper/jfp1.clsrenamed
The content is the same.
impl-paper/library.bib → papers/impl-paper/library.bibrenamed
The content is the same.
impl-paper/library.ltx → papers/impl-paper/library.ltxrenamed
The content is the same.
impl-paper/literature.bib → papers/impl-paper/literature.bibrenamed
The content is the same.
impl-paper/macros.ltx → papers/impl-paper/macros.ltxrenamed
The content is the same.
impl-paper/overview.tex → papers/impl-paper/overview.texrenamed
The content is the same.
impl-paper/proofstate.tex → papers/impl-paper/proofstate.texrenamed
The content is the same.
impl-paper/syntax.tex → papers/impl-paper/syntax.texrenamed
The content is the same.
impl-paper/typechecking.tex → papers/impl-paper/typechecking.texrenamed
The content is the same.