]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 945034d) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 19 Mar 2001 12:44:17 +0000 (12:44 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 19 Mar 2001 12:44:17 +0000 (12:44 +0000)
commit6b3bf7885c6e9e5faee65dd18cdc428f0d1d383b
tree7f8a2fa9060f4850f1954eeb1560c4e33d26290btree | snapshot
parent945034dfb5329d074decac42bd9bdd5782748cf6commit | diff
Modified Files:
1) content_to_html.xsl, expandobj.xsl, html_init.xsl, html_reals.xsl,
html_set.xsl, theory_pres.xsl: now links are uri
Added Files:
1) link.xsl: transformation of uri into url
helm/style/content_to_html.xsl diff | blob | history
helm/style/expandobj.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
helm/style/link.xsl [new file with mode: 0644] blob
helm/style/theory_pres.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.