]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91c402f) | patch
update in basic_2 (bugfix)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Nov 2013 16:51:20 +0000 (16:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Nov 2013 16:51:20 +0000 (16:51 +0000)
commitf725a35c9014595293cfe43081ef11b059d5e3a7
treefbdb7fca3fcd78f7e26f5cd7336921b2d61432e6tree | snapshot
parent91c402f5e43127d61e40f31138ec29b0e5607a56commit | diff
update in basic_2 (bugfix)
probe was not run so statistic data were outdated
helm/www/lambdadelta/BTM.html diff | blob | history
helm/www/lambdadelta/apps_2.html diff | blob | history
helm/www/lambdadelta/basic_2.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.