From b2fff9e06dd049a9778bccc479a538dfd52f8168 Mon Sep 17 00:00:00 2001
From: Francois Berenger <berenger@riken.jp>
Date: Wed, 15 Feb 2012 10:10:38 +0900
Subject: [PATCH] added

---
 README | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 README

diff --git a/README b/README
new file mode 100644
index 0000000..816c8fd
--- /dev/null
+++ b/README
@@ -0,0 +1,8 @@
+to compile:
+make
+
+to use in the toplevel:
+#use "interval_tree.ml";;
+
+You may wish to uncomment the tests at the end of interval_tree.ml
+when playing in the toplevel.