gitweb on Svarog
projekti pod git sistemom za održavanje verzija -- projects under the git version control system
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: d8ef86d)
raw | patch | inline | side by side (from parent 1: d8ef86d)
author | Doni Pracner <quinnuendo@gmail.com> | |
Mon, 10 Aug 2015 23:03:34 +0000 (01:03 +0200) | ||
committer | Doni Pracner <quinnuendo@gmail.com> | |
Mon, 10 Aug 2015 23:03:34 +0000 (01:03 +0200) |
README.md | patch | blob | history |
diff --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
- (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
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