]> matita.cs.unibo.it Git - helm.git/history - helm/scripts/init.d/loadPredefinedStylesheets.pl
- ported to typed explicit substitutions
[helm.git] / helm / scripts / init.d / loadPredefinedStylesheets.pl
2004-02-16 Claudio Sacerdoti... - Uwobo ported to Helm_registry
2003-03-18 Stefano Zacchiroliadded support for NuPRL stylesheets
2002-10-09 Stefano Zacchiroliadded support for unload and reload of predefined style...
2002-10-09 Stefano Zacchiroliscript that loads predefined uwobo stylesheets