]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed5997c) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 9 Mar 2001 15:04:38 +0000 (15:04 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 9 Mar 2001 15:04:38 +0000 (15:04 +0000)
commit2f04f7b924920715beb0c0326ca0db101ebe06ff
treef049611b3dee87bee50b85c787284525e369afdatree | snapshot
parented5997c069d632999f6e970857cfa74c99f9c050commit | diff
Modified Files:
1) expandobj.xsl: comments
2) objcontent.xsl, params.xsl: parameters abstraction from objcontent to params
helm/style/expandobj.xsl diff | blob | history
helm/style/objcontent.xsl diff | blob | history
helm/style/params.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.