]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5a168b) | patch
Basic_2: - we addedsome files
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Jan 2012 22:11:51 +0000 (22:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Jan 2012 22:11:51 +0000 (22:11 +0000)
commitde392360825733c1c865d748f7711f34bfc027f3
tree95a84939414d93ae3b242f2f3f419dec0b406f9ctree | snapshot
parentb5a168bec5e813258c510a1f2a00ce9f57ecee5acommit | diff
Basic_2: - we addedsome files
         - we added some notation
 - we updated the table style
helm/www/lambda_delta/css/xhtbl.css diff | blob | history
helm/www/lambda_delta/ld_basic_2.html diff | blob | history
helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml diff | blob | history
helm/www/lambda_delta/web/home/ld_basic_2.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.