README - added notes about the additional documentation about MJ

diff --git a/README.txt b/README.txt
index 8a524706ff6753efc9cd643eccd50e8fd655dca7..eebcde380087fbbc2f5ae3b4a89aecba87e8be3b 100644 (file)
--- a/README.txt
+++ b/README.txt
@@ -42,9 +42,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/