]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 354731c) | patch
refactoring and regeneration of lddl
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Sep 2011 18:51:41 +0000 (18:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Sep 2011 18:51:41 +0000 (18:51 +0000)
commitae47e671a2e5b1c6498e62e0fd8703cea7ba53b2
tree2d65fc41b74f3d72eb157e4348efff69d40b4bd0tree | snapshot
parent354731c43c5d5b8d050564025e26fdc3bc85acb9commit | diff
refactoring and regeneration of lddl
12 files changed:
helm/www/lambda_delta/Makefile [new file with mode: 0644] blob
helm/www/lambda_delta/css/ld.css [new file with mode: 0644] blob
helm/www/lambda_delta/css/lddl.css [new file with mode: 0644] blob
helm/www/lambda_delta/download/lambda_delta.bib diff | blob | history
helm/www/lambda_delta/download/lambda_delta.txt diff | blob | history
helm/www/lambda_delta/download/lddl.tar.bz2 diff | blob | history
helm/www/lambda_delta/xml/ld.dtd [new file with mode: 0644] blob
helm/www/lambda_delta/xslt/lddl.xsl [new file with mode: 0644] blob
helm/www/lambda_delta/xslt/lddl_entity.xsl [new file with mode: 0644] blob
helm/www/lambda_delta/xslt/lddl_library.xsl [new file with mode: 0644] blob
helm/www/lambda_delta/xslt/lddl_root.xsl [new file with mode: 0644] blob
helm/www/lambda_delta/xslt/lddl_term.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.