From efac70e1ea1a1615729c97662d2511cc3221be17 Mon Sep 17 00:00:00 2001 From: Ray Hu Date: Fri, 23 May 2014 14:37:46 +0100 Subject: [PATCH] Edited README. --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index a9d2a73..3e2fb33 100755 --- a/README.md +++ b/README.md @@ -19,6 +19,8 @@ Building the tool Running the tool ---------------- +- Requirements: Python 2.7.3 or higher + We use the test/popl4/Neogitation1.scr Scribble source file as an example. - To validate the well-formedness of all global protocols, from the scribble-python base directory: