]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo/uwobo_styles.ml
tex notation for compatibility with texTermEditor
[helm.git] / helm / uwobo / uwobo_styles.ml
2003-04-29 Claudio Sacerdoti... New: stylesheets are now partially cached (i.e. all...
2003-04-04 Stefano Zacchiroli- redesigned error and warning handling for libxslt
2003-03-25 Stefano Zacchiroliadded keys method that list currently loaded stylesheet...
2003-03-15 Stefano Zacchiroli- catch libxslt error and debugging messages and return...
2003-03-12 Stefano Zacchirolimoved uwobo sources to the root uwobo directory