From 782dea84b2ee695c6d2cc2817d63a1941b008c0c Mon Sep 17 00:00:00 2001 From: Doni Pracner Date: Wed, 12 Feb 2014 20:05:04 +0100 Subject: [PATCH] README - more notes about the docs folder --- README.txt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.txt b/README.txt index eebcde3..8014c16 100644 --- a/README.txt +++ b/README.txt @@ -2,7 +2,7 @@ MJC2WSL - convert MicroJava Compiled Bytecode to WSL/FermaT =========================================================== mjc2wsl is distributed under the GPL licence, for more details check the src -folder. +folder. More about the tools can be found in the "docs" folder. Quick build and test @@ -13,6 +13,9 @@ and then do a test - compile all of the sample MicroJava codes into MJ bytecode, translate them to WSL and then apply the given transformations in MetaWSL to the programs. +Look in the "docs" folder for more details about running the available ant +tasks. + Requirements ------------ -- 2.25.1