X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FREADME;h=3bce2b6f42d8b51653b9025b3e1981fbc5dd3399;hp=531b0061c45d537021fd17cf9b9f84eed53feeb4;hb=6b4e661ac124c90449eb81b34b444fad9dd3fb26;hpb=6d4f80be38fcb6f920f4bdf5b0b50d8961466c2f;ds=sidebyside

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.