]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e956eab) | patch
we improved the stylesheets and we generated the static HTML pages
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Sep 2009 18:42:18 +0000 (18:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Sep 2009 18:42:18 +0000 (18:42 +0000)
commit03e172581072389796cbc1d3e2d7b16956b95c8a
treec4f433b4df5f236dba4109eeb1d49d867b0a1084tree | snapshot
parente956eab1116ae48a298e3c6701f93178e53ab24fcommit | diff
we improved the stylesheets and we generated the static HTML pages
helm/software/lambda-delta/Makefile diff | blob | history
helm/software/lambda-delta/xml/ld-html-entry.xsl diff | blob | history
helm/software/lambda-delta/xml/ld-html-library.xsl diff | blob | history
helm/software/lambda-delta/xml/ld-html-root.xsl diff | blob | history
helm/software/lambda-delta/xml/ld-html-term.xsl diff | blob | history
helm/software/lambda-delta/xml/ld-html.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.