]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_transformations/applyStylesheets.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19c358a) | patch
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
treeefe763d53183860ac994c988694e524d6e3becfetree | snapshot
parent19c358a092b3008f8a23b56e4b3c5844759d6868commit | diff
Porting of applyStylesheets.ml to Helm_registry.
helm/ocaml/cic_transformations/applyStylesheets.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.