ant task to save the version number in git

[mjc2wsl.git] / docs / running-ant.txt

diff --git a/docs/running-ant.txt b/docs/running-ant.txt
index 2933a74..eec728b 100644 (file)
--- a/docs/running-ant.txt
+++ b/docs/running-ant.txt
@@ -126,6 +126,23 @@ test-run-samples-dir - same as above, presumes that
 "file.dir" is "samples.temp.dir".
 
 
+Metrics tasks
+-------------
+
+these tasks generate comparison outputs for transformed
+versions of WSL programs in a CSV file using the custom
+metrics script given in the `src-wsl` directory.
+
+
+Visual comparison tasks
+-----------------------
+
+currently there is a task that can generate LaTeX sources
+and compile them into a pdf showing in parralel how
+the program looks in MicroJava, bytecode, translated WSL
+and transformed WSL.
+
+
 Logging
 ------------------------------------------------------------
 
@@ -139,4 +156,6 @@ last run is always copied to "mjc2wsl.txt" (property
 wsl-transf-samples is logged in
 "transformations-TIMESTAMP.txt". The last run is always
 copied to "transformations.txt" (property
-"log.file.transformations")
\ No newline at end of file
+"log.file.transformations")
+
+similarly the testing tasks are logged.