]> matita.cs.unibo.it Git - helm.git/commit
Porting of applyStylesheets.ml to Helm_registry.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:41:33 +0000 (17:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:41:33 +0000 (17:41 +0000)
commit5e4a9151cb9c5b9457655a3b2a55fce1ea46f08b
treeefe763d53183860ac994c988694e524d6e3becfe
parent19c358a092b3008f8a23b56e4b3c5844759d6868
Porting of applyStylesheets.ml to Helm_registry.
helm/ocaml/cic_transformations/applyStylesheets.ml