transf-min goto typo

[mjc2wsl.git] / README.md

diff --git a/README.md b/README.md
index 8c5b612..352eb67 100644 (file)
--- a/README.md
+++ b/README.md
@@ -22,15 +22,25 @@ Requirements
  - java JDK for compiling and running the mjc2wsl tool and the MJ compiler
 
  - ant for building and testing
-  - ant-contrib tasks are needed for some of the tasks
+      - ant-contrib tasks are needed for some of the tasks
 
  - FermaT for running the translated examples and applying the transformations
-   (FermaT Maintanance Environment can be used)
+   (FermaT Maintenance Environment can be used)
    Downloads available at http://www.cse.dmu.ac.uk/~mward/fermat.html
 
 Check the docs folder for a more detailed tutorial on how to install
 FermaT under Linux.
 
+This project should work correctly regardless of operating
+system, that is it should work fine if you have the above
+requirements setup properly (java-ant-fermat).
+
+It should be noted that although everything *should* work
+on Windows or Mac or whatever else can run the dependencies,
+it is only (at this point) extensively tested under Linux.
+Feel free to ask about problems running it, suggestions for
+improving the platform Independence are welcome.
+
 
 Setting the FermaT dir
 ----------------------