]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 68b5af5) | patch
the corrected "Grundlagen" is online
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 26 Dec 2014 15:38:52 +0000 (15:38 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 26 Dec 2014 15:38:52 +0000 (15:38 +0000)
commit9c489fe144c562dca776df59264329b704e18c49
tree7c53131045d77b15038f8d77cb6fe7ab5ab5dd09tree | snapshot
parent68b5af5ca8f1e7f98485b92692b3dcb1ae240d19commit | diff
the corrected "Grundlagen" is online
helm/www/lambdadelta/Makefile diff | blob | history
helm/www/lambdadelta/download/grundlagen_2.aut [new file with mode: 0644] blob
helm/www/lambdadelta/download/grundlagen_2.tar.bz2 [new file with mode: 0644] blob
helm/www/lambdadelta/implementation.html diff | blob | history
helm/www/lambdadelta/web/home/implementation.ldw.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.