experimental transformations - added Flag Removal to the auto transfs

[mjc2wsl.git] / README.txt

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


@@ -42,9 +45,12 @@ About MicroJava
 ---------------
 
 This is a simple language made by H. Mössenböck for a Compiler Construction
 ---------------
 
 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.
 
 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/
 
 More about the course, the language and its VM:
 http://www.ssw.uni-linz.ac.at/Misc/CC/