modification

diff --git a/interpreter.cc b/interpreter.cc
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/notes/README.txt b/notes/README.txt
new file mode 100644 (file)
index 0000000..6304dce
--- /dev/null
+++ b/notes/README.txt
@@ -0,0 +1,4 @@
+####------------------------------------------------------------------------####
+This repository contains all the source code and library for the specification
+compiler. This compiler is written with Java. It takes the C/C++11 source files
+and translates them into the new source code for the model checker.