matita.cs.unibo.it Git - helm.git/tree - helm/papers/use

drwxr-xr-x		..
-rw-r--r--	5978	CANDIDATI	blob \| history \| raw
-rw-r--r--	4332	Makefile	blob \| history \| raw
-rwxr-xr-x	177	download_candidates.sh	blob \| history \| raw
-rwxr-xr-x	570	download_candidates_c1.sh	blob \| history \| raw
-rw-r--r--	1009	extract.xsl	blob \| history \| raw
-rw-r--r--	983	group.xsl	blob \| history \| raw
-rw-r--r--	2689	groups_dependent_depth.xsl	blob \| history \| raw
-rw-r--r--	2679	groups_dependent_size.xsl	blob \| history \| raw
-rw-r--r--	472	mkdiff.cc	blob \| history \| raw
-rw-r--r--	1998	mkhtml.xsl	blob \| history \| raw
drwxr-xr-x	-	parse	tree \| history
-rwxr-xr-x	94	parsing_time_expat.sh	blob \| history \| raw
-rwxr-xr-x	98	parsing_time_libxml2_reader.sh	blob \| history \| raw
-rwxr-xr-x	95	parsing_time_libxml2_sax2.sh	blob \| history \| raw
-rwxr-xr-x	109	parsing_time_libxml2_tree.sh	blob \| history \| raw
-rwxr-xr-x	124	parsing_time_xerces_sax2.sh	blob \| history \| raw
-rwxr-xr-x	122	parsing_time_xerces_tree.sh	blob \| history \| raw
-rw-r--r--	1748	parsing_times.gpscript	blob \| history \| raw
-rwxr-xr-x	57	parsing_times.sh	blob \| history \| raw
-rw-r--r--	511	serialize_into_text.xsl	blob \| history \| raw
-rw-r--r--	3611	stats.cc	blob \| history \| raw
-rw-r--r--	3890	stats.xsl	blob \| history \| raw
-rw-r--r--	1201479	stats_body.xml.gz	blob \| history \| raw
-rwxr-xr-x	261	stats_candidates.sh	blob \| history \| raw
-rwxr-xr-x	252	stats_candidates_c1.sh	blob \| history \| raw
-rw-r--r--	872396	stats_con.xml.gz	blob \| history \| raw
-rw-r--r--	47705	stats_ind.xml.gz	blob \| history \| raw
-rw-r--r--	152407	stats_proof_tree.xml.gz	blob \| history \| raw
-rw-r--r--	50856	stats_theories.xml.gz	blob \| history \| raw
-rw-r--r--	1200924	stats_types.xml.gz	blob \| history \| raw
-rw-r--r--	118335	stats_var.xml.gz	blob \| history \| raw
-rwxr-xr-x	130	validating_time_flea.sh	blob \| history \| raw
-rwxr-xr-x	150	validating_time_libxml2_tree.sh	blob \| history \| raw
-rwxr-xr-x	164	validating_time_xerces_sax2.sh	blob \| history \| raw
-rwxr-xr-x	162	validating_time_xerces_tree.sh	blob \| history \| raw
-rw-r--r--	1145	validating_times.gpscript	blob \| history \| raw