]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c5a764) | patch
the web interface for the benchmarking system
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 26 Jun 2005 15:16:57 +0000 (15:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 26 Jun 2005 15:16:57 +0000 (15:16 +0000)
commit663f8e1c82196b9e3f817bf059edcfcfe22993c3
treea7f93598ceec1eb98b9b1d225739c1a131236c89tree | snapshot
parent8c5a76439368f52a7df7c7b524c726b1f9d4eb39commit | diff
the web interface for the benchmarking system
helm/matita/scripts/public_html/bench.php [new file with mode: 0644] blob
helm/matita/scripts/public_html/common.php [new file with mode: 0644] blob
helm/matita/scripts/public_html/composequery.php [new file with mode: 0644] blob
helm/matita/scripts/public_html/index.html [new file with mode: 0644] blob
helm/matita/scripts/public_html/showquery.php [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.