X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=correctness-model%2Fwriteup%2FCVS%2FEntries;fp=correctness-model%2Fwriteup%2FCVS%2FEntries;h=e738c4e8e008c314b64cb9efa756a0c8da6b7e85;hp=0000000000000000000000000000000000000000;hb=f7207fbf6086300565ee3f30c220fd37a891eb4e;hpb=c09ba1a1a43b3a3761eb3ed1351a7b6780aeb73a

diff --git a/correctness-model/writeup/CVS/Entries b/correctness-model/writeup/CVS/Entries
new file mode 100644
index 0000000..e738c4e
--- /dev/null
+++ b/correctness-model/writeup/CVS/Entries
@@ -0,0 +1,19 @@
+/confstrs-abbrv.bib/1.1/Wed Jan 14 22:53:32 2015//
+/confstrs-long.bib/1.1/Wed Jan 14 22:53:32 2015//
+/sig-alternate.cls/1.1/Wed Jan 14 22:53:32 2015//
+D/figures////
+/makefile/1.2/Fri Jan 23 17:16:19 2015//
+/spell.lst/1.1/Fri Jan 23 05:47:30 2015//
+/abstract.tex/1.2/Fri Jan 23 22:58:26 2015//
+/conclusion.tex/1.2/Fri Jan 23 22:58:26 2015//
+/related.tex/1.2/Fri Jan 23 22:58:26 2015//
+/speccfg.tex/1.1/Fri Jan 23 22:58:26 2015//
+/technical.tex/1.1/Fri Jan 23 22:58:26 2015//
+/paper.tex/1.6/Fri Jan 23 23:30:25 2015//
+/paper.bib/1.3/Sat Jan 24 00:47:32 2015//
+/memorymodel.tex/1.8/Sat Jan 24 01:51:58 2015//
+/introduction.tex/1.36/Sat Jan 24 03:09:04 2015//
+/example.tex/1.19/Sat Jan 24 03:36:11 2015//
+/specification.tex/1.59/Sat Jan 24 04:47:54 2015//
+/implementation.tex/1.16/Sat Jan 24 05:04:07 2015//
+/evaluation.tex/1.21/Sat Jan 24 05:35:18 2015//