ant task, use hill climbing by default

[mjc2wsl.git] / README.md

diff --git a/README.md b/README.md
index 6e11cbf..920875e 100644 (file)
--- a/README.md
+++ b/README.md
@@ -25,7 +25,7 @@ Requirements
       - 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
@@ -39,7 +39,7 @@ 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 independance are welcom.
+improving the platform Independence are welcome.
 
 
 Setting the FermaT dir
@@ -70,6 +70,26 @@ A functional compiler is distributed in the lib folder for ease of testing
 and evaluating.  Check the folder for further details.
 
 
+Git status and mirrors
+----------------------
+
+The `master` branch should hold a stable version at all times.  The `work`
+branch is usually the current status of the tool, probably stable as well,
+but more experimental and untested. There is a possibility of other feature
+branches appearing here and there. These are not neccessarily on all mirrors
+at the same time. Efforts are made that master is always in sync.
+
+mjc2wsl has a primary git repo on svarog.pmf.uns.ac.rs:
+
+ - http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git
+
+mirrors are also available:
+
+ - https://bitbucket.org/quinnuendo/mjc2wsl
+
+ - https://github.com/quinnuendo/mjc2wsl
+
+
 Contact
 -------