]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3579acf) | patch
- catch libxslt error and debugging messages and return them to the user
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 15 Mar 2003 18:39:37 +0000 (18:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 15 Mar 2003 18:39:37 +0000 (18:39 +0000)
commit40d69bb0d68b6da47c625cca9c276fa19d6cc3aa
tree0ac5d5115669c5655542b912aff7fd837008baa0tree | snapshot
parent3579acf4950fc4f9a4ddc3e2cfca372d67cba712commit | diff
- catch libxslt error and debugging messages and return them to the user
- preprocess stylesheet on add and reload just to show warning to the
  user
- fixed feedback messages for reload action
- better feedback messages for strange conditions (e.g. reload with no
  stylesheet loaded)
- send text/html content type on feedback
- removed some ancient debugging messages
- commented Uwobo_styles interface
helm/uwobo/uwobo.ml diff | blob | history
helm/uwobo/uwobo_styles.ml diff | blob | history
helm/uwobo/uwobo_styles.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.