README - more notes about the docs folder

[mjc2wsl.git] / README.txt

diff --git a/README.txt b/README.txt
index 8a524706ff6753efc9cd643eccd50e8fd655dca7..8014c1689cbdd559b9e20935dd43f96386f6996b 100644 (file)
--- a/README.txt
+++ b/README.txt
@@ -2,7 +2,7 @@ MJC2WSL - convert MicroJava Compiled Bytecode to WSL/FermaT
 ===========================================================
 
 mjc2wsl is distributed under the GPL licence, for more details check the src
-folder.
+folder. More about the tools can be found in the "docs" folder.
 
 
 Quick build and test
@@ -13,6 +13,9 @@ and then do a test - compile all of the sample MicroJava codes into MJ
 bytecode, translate them to WSL and then apply the given transformations in
 MetaWSL to the programs.
 
+Look in the "docs" folder for more details about running the available ant
+tasks.
+
 
 Requirements
 ------------
@@ -42,9 +45,12 @@ About MicroJava
 ---------------
 
 This is a simple language made by H. Mössenböck for a Compiler Construction
-course.  It is not the same as Java Micro Edition (JavaME) used on mobile
+course.  It is NOT the same as Java Micro Edition (JavaME) used on mobile
 phones.
 
+For details about the language and the version used in this project check
+out the "docs" folder.
+
 More about the course, the language and its VM:
 http://www.ssw.uni-linz.ac.at/Misc/CC/