X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2FREADME;h=e5d4b04b1676d125184921b4299e699543e8b4d2;hb=27dde36eb7dadad0e0350d52e89a2fe3a883b902;hp=eba61fd0e3979b066b766c2509c9b8e59901ab19;hpb=2d1f8a9b86dbd0466f02c7d0ad945a08903b672a;p=helm.git

diff --git a/matita/tests/TPTP/README b/matita/tests/TPTP/README
index eba61fd0e..e5d4b04b1 100644
--- a/matita/tests/TPTP/README
+++ b/matita/tests/TPTP/README
@@ -27,4 +27,16 @@ logname format
 
   log.SECONDS.DAY-MONTH.MESSAGE
 
+other scripts
 
+  simulate_casc.sh logfile 
+
+    Gives the results of the problems listed in elenco_CASC.txt
+
+  merge_sorted_logs.awk
+
+    Given a file composed by the sorted concatenation of 2 logs
+    returns the one obtaining using the best of duplicate lines
+    (use to merge a log with a successive run on the FAIL problems)
+
+# eof