]> matita.cs.unibo.it Git - helm.git/commit
added support for NuPRL stylesheets
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Mar 2003 15:58:02 +0000 (15:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Mar 2003 15:58:02 +0000 (15:58 +0000)
commitdef46f84dde4cdec1f817443432acc51f62e5ace
treea1b5c9d7a84ab1eda0c230eee2024c88df153c55
parent20754a73006e110f7f67d037cddc4a49f4fb5418
added support for NuPRL stylesheets
helm/scripts/init.d/etc_default_helm_mowgli
helm/scripts/init.d/helm-tomcat_mowgli
helm/scripts/init.d/loadPredefinedStylesheets.pl