matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 13 Jun 2006 08:33:55 +0000 (08:33 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 13 Jun 2006 08:33:55 +0000 (08:33 +0000)
commit	6e31c88be3700a7171f181b86aa342f0fce80108
tree	b76853920d24e02d1d69d02434744ae501d424bd	tree \| snapshot
parent	6e665f8c877f5c921bd3f53cd5384d9511895b5f	commit \| diff

moved benchmnarks/ dir outside of components/

24 files changed:

helm/software/benchmarks/bugs	[new file with mode: 0644]	blob
helm/software/benchmarks/log20060329_ripristinata_convertibilita_aggressiva	[new file with mode: 0644]	blob
helm/software/benchmarks/log20060329_subst_avoids_beta_redexes	[new file with mode: 0644]	blob
helm/software/benchmarks/log20060330_no_profiling	[new file with mode: 0644]	blob
helm/software/benchmarks/log20060403_meno_unwind	[new file with mode: 0644]	blob
helm/software/benchmarks/log20060411_cregut_timestamp_bacato	[new file with mode: 0644]	blob
helm/software/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa	[new file with mode: 0644]	blob
helm/software/benchmarks/mostri20060328	[new file with mode: 0644]	blob
helm/software/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva	[new file with mode: 0644]	blob
helm/software/benchmarks/mostri20060329_subst_avoids_beta_redexes	[new file with mode: 0644]	blob
helm/software/benchmarks/uris.ordered	[new file with mode: 0644]	blob
helm/software/benchmarks/uris.unordered	[new file with mode: 0644]	blob
helm/software/components/binaries/utilities/benchmarks/bugs	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/log20060329_ripristinata_convertibilita_aggressiva	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/log20060329_subst_avoids_beta_redexes	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/log20060330_no_profiling	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/log20060403_meno_unwind	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/mostri20060328	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/mostri20060329_subst_avoids_beta_redexes	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/uris.ordered	[deleted file]	blob \| history
helm/software/components/binaries/utilities/benchmarks/uris.unordered	[deleted file]	blob \| history

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

RSS Atom