From 84505710c3e13bf06d7c3eeb87f924036c1896f1 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 3 Jul 2006 12:30:00 +0000
Subject: [PATCH] /....

---
 helm/software/matita/tests/TPTP/README | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/helm/software/matita/tests/TPTP/README b/helm/software/matita/tests/TPTP/README
index eba61fd0e..e5d4b04b1 100644
--- a/helm/software/matita/tests/TPTP/README
+++ b/helm/software/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
-- 
2.39.2