]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3d5d4a) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 10 Jun 2002 14:46:24 +0000 (14:46 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 10 Jun 2002 14:46:24 +0000 (14:46 +0000)
commit1f211ca47fddbe9db9960578970ebcc9282c797f
tree441e57b01f5798b8867bfb5e487b987effc5ea33tree | snapshot
parentb3d5d4a1ac345d5d54fc91edaf320f01fa82f6b1commit | diff
Modified Files:
1) mmlctop.xsl: a copy of mmlctop2_0.xsl
helm/style/mmlctop.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.