]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f21509c) | patch
- we added a web page (Apps_2) for the checked applications of Basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Feb 2012 16:27:56 +0000 (16:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Feb 2012 16:27:56 +0000 (16:27 +0000)
commitff11fcced84c3e18f0f73be101bc7b2086fc0a52
treeeb55bbd027832e3b65eb2acafd579fe41c8151b8tree | snapshot
parentf21509c476b20e5446335c967b1e81f87ceb4f6ccommit | diff
- we added a web page (Apps_2) for the checked applications of Basic_2
- we added some files to Basic_2
- we improved the Makefiles
helm/www/lambda_delta/bin/xhtbl/Makefile diff | blob | history
helm/www/lambda_delta/ld_apps_2.html [new file with mode: 0644] blob
helm/www/lambda_delta/ld_basic_2.html diff | blob | history
helm/www/lambda_delta/news.html diff | blob | history
helm/www/lambda_delta/web/home/ld_apps_2.ldw.xml [new file with mode: 0644] blob
helm/www/lambda_delta/web/home/ld_apps_2_src.tbl [new file with mode: 0644] blob
helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml diff | blob | history
helm/www/lambda_delta/web/home/ld_basic_2_src.tbl diff | blob | history
helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl diff | blob | history
helm/www/lambda_delta/xslt/ld_web_root.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.