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--	4379	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--	1002	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--	566	mkdiff.cc	blob \| history \| raw
-rw-r--r--	1998	mkhtml.xsl	blob \| history \| raw
drwxr-xr-x	-	parse	tree \| history
-rwxr-xr-x	96	parsing_time_expat.sh	blob \| history \| raw
-rwxr-xr-x	100	parsing_time_libxml2_reader.sh	blob \| history \| raw
-rwxr-xr-x	97	parsing_time_libxml2_sax2.sh	blob \| history \| raw
-rwxr-xr-x	111	parsing_time_libxml2_tree.sh	blob \| history \| raw
-rwxr-xr-x	126	parsing_time_xerces_sax2.sh	blob \| history \| raw
-rwxr-xr-x	124	parsing_time_xerces_tree.sh	blob \| history \| raw
-rw-r--r--	2137	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	132	validating_time_flea.sh	blob \| history \| raw
-rwxr-xr-x	152	validating_time_libxml2_tree.sh	blob \| history \| raw
-rwxr-xr-x	166	validating_time_xerces_sax2.sh	blob \| history \| raw
-rwxr-xr-x	164	validating_time_xerces_tree.sh	blob \| history \| raw
-rw-r--r--	1241	validating_times.gpscript	blob \| history \| raw