X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=README.md;h=920875eb6fddb0010d37cdf1901b24dd09cb2107;hp=6e11cbf693df3aac92a3c297dd4fc27a0b17c8ec;hb=HEAD;hpb=d8ef86db20d35590d6fe9e86d2be736ffcc08d72 diff --git a/README.md b/README.md index 6e11cbf..920875e 100644 --- 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 -------