]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2938549) | patch
- Stylesheet exceptions now printed in red.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 09:37:39 +0000 (09:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 09:37:39 +0000 (09:37 +0000)
commit1c36cc1e2966b1a593cf9480e713d2cb1597a749
tree4835535a4c3bc91e4dba69e6a82fcfd15c5c63fbtree | snapshot
parent2938549254c7b5f49ecddfe345e2011193eabcc1commit | diff
- Stylesheet exceptions now printed in red.
- Load of an already loaded stylesheet now ignored (was interpreted as
  reloadin before).
- Version renumbered as 1.2.1beta.
helm/uwobo/build.xml diff | blob | history
helm/uwobo/src/it/unibo/cs/helm/uwobo/Server.java diff | blob | history
helm/uwobo/src/it/unibo/cs/helm/uwobo/Servlet.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.