From: bdemsky <bdemsky>
Date: Fri, 21 Feb 2003 16:13:54 +0000 (+0000)
Subject: Adding c files for repair system.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff_plain;h=ade00e8c7a7fae2a4e57ea8336ce91a697b300b6;hp=6d4f80be38fcb6f920f4bdf5b0b50d8961466c2f

Adding c files for repair system.
---

diff --git a/Repair/README b/Repair/README
index 531b006..3bce2b6 100755
--- a/Repair/README
+++ b/Repair/README
@@ -1 +1,10 @@
-Repair Repository for bdemsky.
+Type ./build to build the main executable...  This is the filesystem 
+example.  Read file.cc for the options.  The spec files for this example 
+are: 
+testmodel teststruct testabstract testconcrete testspace
+
+Contact me to run the ole example - you need to compile the repair tool as a 
+library to link into it (or just hack a makefile to do this)
+
+The game example isn't included yet, its pretty big, and I'm not certain of 
+licensing issues.