]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4668559) | patch
----------------------------------------------------------------------
authorIrene Schena <irene.schena@unibo.it>
Thu, 26 Jul 2001 11:52:34 +0000 (11:52 +0000)
committerIrene Schena <irene.schena@unibo.it>
Thu, 26 Jul 2001 11:52:34 +0000 (11:52 +0000)
commit19681f7b0c71fbb8c9e3442c0880533731094046
treefdf926dbd83e36f9351017f913088a4278acadd2tree | snapshot
parent4668559563eede2f325545a100ff82b774085ed0commit | diff
----------------------------------------------------------------------
Modified Files:
1) content_to_html.xsl html_init.xsl html_reals.xsl html_set.xsl: added
control on the existence of definitionURL
----------------------------------------------------------------------
helm/style/content_to_html.xsl diff | blob | history
helm/style/html_init.xsl diff | blob | history
helm/style/html_reals.xsl diff | blob | history
helm/style/html_set.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.