changes

[cdsspec-compiler.git] / correctness-model / writeup / CVS / Entries

diff --git a/correctness-model/writeup/CVS/Entries b/correctness-model/writeup/CVS/Entries
new file mode 100644 (file)
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//