]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2306f23) | patch
- update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 9 Mar 2013 22:32:07 +0000 (22:32 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 9 Mar 2013 22:32:07 +0000 (22:32 +0000)
commitadd1600e1ceef0f1c7e07a4d13c60edd7a3ea367
treedaf5549638b35034b5d360bfe9c40e2b4a8958d3tree | snapshot
parent2306f231950c1e85837b6b22a1020e66c92319d7commit | diff
- update in basic_2
- contrib specific web pages moved out
- improved Makefiles
helm/www/lambdadelta/BTM.html diff | blob | history
helm/www/lambdadelta/Makefile diff | blob | history
helm/www/lambdadelta/apps_2.html diff | blob | history
helm/www/lambdadelta/basic_2.html diff | blob | history
helm/www/lambdadelta/bin/xhtbl/Makefile diff | blob | history
helm/www/lambdadelta/web/home/BTM.ldw.xml [deleted file] blob | history
helm/www/lambdadelta/web/home/apps_2.ldw.xml [deleted file] blob | history
helm/www/lambdadelta/web/home/apps_2_src.tbl [deleted file] blob | history
helm/www/lambdadelta/web/home/basic_2.ldw.xml [deleted file] blob | history
helm/www/lambdadelta/web/home/basic_2_blk.tbl [deleted file] blob | history
helm/www/lambdadelta/web/home/basic_2_src.tbl [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.