]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 279178e) | patch
1. helmns and domImpl moved to the misc module ;-(
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jan 2003 10:36:05 +0000 (10:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jan 2003 10:36:05 +0000 (10:36 +0000)
commit7fedf47037503b281d078eef6de13927020eb410
tree5016c294ff00681f8e349eea6652e48faaec3ea2tree | snapshot
parent279178e6812c3fc9d376b5e3c919d59c486d6da3commit | diff
1. helmns and domImpl moved to the misc module ;-(
2. all the constants and functions relative to stylesheet applications have
   been moved to the new module ApplyStylesheets, whose interface is really
   minimal.
helm/gTopLevel/.depend diff | blob | history
helm/gTopLevel/Makefile diff | blob | history
helm/gTopLevel/applyStylesheets.ml [new file with mode: 0644] blob
helm/gTopLevel/applyStylesheets.mli [new file with mode: 0644] blob
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/misc.ml diff | blob | history
helm/gTopLevel/misc.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.