From: Luca Padovani Date: Tue, 9 Nov 2004 15:30:33 +0000 (+0000) Subject: * compressed statistics committed X-Git-Tag: v_0_6_4_1~7 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=608cc7f30a3e9afd915084afe0dd072fb4c7bd66;p=helm.git * compressed statistics committed --- diff --git a/helm/papers/use_case/stats/Makefile b/helm/papers/use_case/stats/Makefile index fdfdb9ff0..390a3059a 100644 --- 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 index 000000000..0a442bcc9 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 index 000000000..005deaf18 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 index 000000000..a97d809b8 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 index 000000000..aed4d9caf 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 index 000000000..ea4520dca 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 index 000000000..0b8634408 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 index 000000000..effa3221f Binary files /dev/null and b/helm/papers/use_case/stats/stats_var.xml.gz differ