gitweb on Svarog
projekti pod git sistemom za održavanje verzija -- projects under the git version control systemdiff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
- ant-contrib tasks are needed for some of the tasks
- FermaT for running the translated examples and applying the transformations
- 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.
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
----------------------
Setting the FermaT dir
----------------------
and evaluating. Check the folder for further details.
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
-------
Contact
-------