]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae47e67) | patch
bug fix in the dtd
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Sep 2011 19:08:29 +0000 (19:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Sep 2011 19:08:29 +0000 (19:08 +0000)
commitbe919e9d4086362ab0ba1ab071e7c1e5cacbb5a2
tree4202338befac21f3f5347c6a580587bc0a0f84e6tree | snapshot
parentae47e671a2e5b1c6498e62e0fd8703cea7ba53b2commit | diff
bug fix in the dtd
helm/www/lambda_delta/Makefile diff | blob | history
helm/www/lambda_delta/download/lddl.tar.bz2 diff | blob | history
helm/www/lambda_delta/xml/ld.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.