X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=README.txt;h=8014c1689cbdd559b9e20935dd43f96386f6996b;hp=8a524706ff6753efc9cd643eccd50e8fd655dca7;hb=13d9b6940ed9c98556e7d2af0ceb9757ce3dc68e;hpb=e3140851cb2899b2a352ef2825317bc939f5bf50

diff --git a/README.txt b/README.txt
index 8a52470..8014c16 100644
--- 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/