]> matita.cs.unibo.it Git - helm.git/commit
- Makefile update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Aug 2012 17:23:13 +0000 (17:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Aug 2012 17:23:13 +0000 (17:23 +0000)
commit0b2cf1b25d45ffb80b27416e057a58e3dc3f257d
tree408c477ace919f527df44616c2df5f86e7a6a447
parent71ac9ccaa0244a608155cc45fbea510372f84bfc
- Makefile update
- for now the page related to BTM is committed here ...
helm/www/lambda_delta/BTM.html [new file with mode: 0644]
helm/www/lambda_delta/Makefile
helm/www/lambda_delta/apps_2.html
helm/www/lambda_delta/basic_2.html
helm/www/lambda_delta/bin/xhtbl/Makefile
helm/www/lambda_delta/web/home/BTM.ldw.xml [new file with mode: 0644]