]> matita.cs.unibo.it Git - helm.git/commit
we can now generate static html pages about crg terms
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 17 Aug 2010 14:38:30 +0000 (14:38 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 17 Aug 2010 14:38:30 +0000 (14:38 +0000)
commit4ab08405286d0e1409893ee6477ac4686bacf103
treeac0542b93b9be22d72ac5c2302bb36a6bdaf7cc1
parentb512c5a623a411cf8473367ac5bb6d8c9c7f7721
we can now generate static html pages about crg terms
helm/software/lambda-delta/xml/ld-html-library.xsl
helm/software/lambda-delta/xml/ld-html-root.xsl
helm/software/lambda-delta/xml/ld-html-term.xsl