]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c211eb6) | patch
updated bibliography for text J1
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 6 Mar 2015 17:05:20 +0000 (17:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 6 Mar 2015 17:05:20 +0000 (17:05 +0000)
commit15455aa487e001c643b4f46daf82612b8409f1ae
tree2f52db17d779991b66ec011ba8bb30881cbf2d84tree | snapshot
parentc211eb61218aa9b43dfd2baae45407f0aa87ca79commit | diff
updated  bibliography for text J1
14 files changed:
helm/www/lambdadelta/BTM.html diff | blob | history
helm/www/lambdadelta/apps_2.html diff | blob | history
helm/www/lambdadelta/basic_1.html diff | blob | history
helm/www/lambdadelta/basic_2.html diff | blob | history
helm/www/lambdadelta/documentation.html diff | blob | history
helm/www/lambdadelta/download/lambdadelta.bib diff | blob | history
helm/www/lambdadelta/download/lambdadelta.txt diff | blob | history
helm/www/lambdadelta/ground_1.html diff | blob | history
helm/www/lambdadelta/ground_2.html diff | blob | history
helm/www/lambdadelta/implementation.html diff | blob | history
helm/www/lambdadelta/index.html diff | blob | history
helm/www/lambdadelta/news.html diff | blob | history
helm/www/lambdadelta/specification.html diff | blob | history
helm/www/lambdadelta/web/home/documentation_1.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.