fixed command line

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

diff --git a/correctness-model/writeup/CVS/Entries b/correctness-model/writeup/CVS/Entries
deleted file mode 100644 (file)
index e738c4e..0000000
--- a/correctness-model/writeup/CVS/Entries
+++ /dev/null
@@ -1,19 +0,0 @@
-/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//