]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: Helm_registry was used not enough lazily (i.e. before loading
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Feb 2004 10:00:15 +0000 (10:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Feb 2004 10:00:15 +0000 (10:00 +0000)
commitcd8d555372d4980e21d859c7275b4e0ba9c796df
tree1e4496a46dc58a59f70d60323383acecc4707cbd
parentfc6a9cb859b3edbfe308c07b62e1c5f287c9f865
Bug fixed: Helm_registry was used not enough lazily (i.e. before loading
the configuration).
helm/ocaml/cic_transformations/applyStylesheets.ml