]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10c1185) | patch
New stylesheets from content to html.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 20 Feb 2001 10:30:36 +0000 (10:30 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 20 Feb 2001 10:30:36 +0000 (10:30 +0000)
commitf5a06d5c51c59dcfe432a3b4236f0a4189f031f6
tree684c95a6341dd04f0e878a9b28a55e6ebe3011bdtree | snapshot
parent10c1185793af5ae402e7a4dbe016b72f5bb6c727commit | diff
New stylesheets from content to html.

-- andrea
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
helm/style/mmlextension.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.