]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb7f9a3) | patch
better static html pages, now they are generted in the install location
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 1 Oct 2009 21:31:15 +0000 (21:31 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 1 Oct 2009 21:31:15 +0000 (21:31 +0000)
commitd5f1d21626a9df44030854abe3b96bb71c6348af
tree00aa4bad5ac4d129555715902be0b4425966a468tree | snapshot
parentbb7f9a362891d4377011783016b74f0b0b2a5974commit | diff
better static html pages, now they are generted in the install location
helm/software/lambda-delta/Makefile diff | blob | history
helm/software/lambda-delta/Makefile.common diff | blob | history
helm/software/lambda-delta/xml/ld-html-library.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.