matita.cs.unibo.it Git - helm.git/tree - components/binaries/utilities/benchmarks/

drwxr-xr-x		..
-rw-r--r--	4805	bugs	blob \| history \| raw
-rw-r--r--	3369871	log20060329_ripristinata_convertibilita_aggressiva	blob \| history \| raw
-rw-r--r--	2537453	log20060329_subst_avoids_beta_redexes	blob \| history \| raw
-rw-r--r--	3399029	log20060330_no_profiling	blob \| history \| raw
-rw-r--r--	2684	mostri20060328	blob \| history \| raw
-rw-r--r--	3034	mostri20060329_ripristinata_convertibilita_aggressiva	blob \| history \| raw
-rw-r--r--	3048	mostri20060329_subst_avoids_beta_redexes	blob \| history \| raw
-rw-r--r--	2309458	uris.ordered	blob \| history \| raw
-rw-r--r--	2309458	uris.unordered	blob \| history \| raw

Unnamed repository; edit this file 'description' to name the repository.