* compressed statistics committed

diff --git a/helm/papers/use_case/stats/Makefile b/helm/papers/use_case/stats/Makefile
index fdfdb9ff09078f92d14ad6eee604df5945815e8c..390a3059a8604a8e9b31e106e9e742c1dc6870e6 100644 (file)
--- a/helm/papers/use_case/stats/Makefile
+++ b/helm/papers/use_case/stats/Makefile
@@ -5,7 +5,9 @@ STATS_TARGETS = \
   $(TARGETS:%=stats_%.xml) \
   stats_theories.xml
 
-all: $(STATS_TARGETS)
+all_xml: $(STATS_TARGETS)
+
+all_html: $(STATS_TARGETS:%.xml=%.html)
 
 stats: stats.cc
        g++ -o $@ `pkg-config gdome2-cpp-smart --cflags --libs` $<

diff --git a/helm/papers/use_case/stats/stats_body.xml.gz b/helm/papers/use_case/stats/stats_body.xml.gz
new file mode 100644 (file)
index 0000000..0a442bc
Binary files /dev/null and b/helm/papers/use_case/stats/stats_body.xml.gz differ

diff --git a/helm/papers/use_case/stats/stats_con.xml.gz b/helm/papers/use_case/stats/stats_con.xml.gz
new file mode 100644 (file)
index 0000000..005deaf
Binary files /dev/null and b/helm/papers/use_case/stats/stats_con.xml.gz differ

diff --git a/helm/papers/use_case/stats/stats_ind.xml.gz b/helm/papers/use_case/stats/stats_ind.xml.gz
new file mode 100644 (file)
index 0000000..a97d809
Binary files /dev/null and b/helm/papers/use_case/stats/stats_ind.xml.gz differ

diff --git a/helm/papers/use_case/stats/stats_proof_tree.xml.gz b/helm/papers/use_case/stats/stats_proof_tree.xml.gz
new file mode 100644 (file)
index 0000000..aed4d9c
Binary files /dev/null and b/helm/papers/use_case/stats/stats_proof_tree.xml.gz differ

diff --git a/helm/papers/use_case/stats/stats_theories.xml.gz b/helm/papers/use_case/stats/stats_theories.xml.gz
new file mode 100644 (file)
index 0000000..ea4520d
Binary files /dev/null and b/helm/papers/use_case/stats/stats_theories.xml.gz differ

diff --git a/helm/papers/use_case/stats/stats_types.xml.gz b/helm/papers/use_case/stats/stats_types.xml.gz
new file mode 100644 (file)
index 0000000..0b86344
Binary files /dev/null and b/helm/papers/use_case/stats/stats_types.xml.gz differ

diff --git a/helm/papers/use_case/stats/stats_var.xml.gz b/helm/papers/use_case/stats/stats_var.xml.gz
new file mode 100644 (file)
index 0000000..effa322
Binary files /dev/null and b/helm/papers/use_case/stats/stats_var.xml.gz differ