]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc6a9cb) | patch
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
tree1e4496a46dc58a59f70d60323383acecc4707cbdtree | snapshot
parentfc6a9cb859b3edbfe308c07b62e1c5f287c9f865commit | diff
Bug fixed: Helm_registry was used not enough lazily (i.e. before loading
the configuration).
helm/ocaml/cic_transformations/applyStylesheets.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.