]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d725da) | patch
drop_coercions.xsl has been added
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jun 2001 10:22:55 +0000 (10:22 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jun 2001 10:22:55 +0000 (10:22 +0000)
commit3000014050e8a374a7efd8d45cf0402b7a9acf51
treede33f437909556280a5d6360a764b65a8fa29196tree | snapshot
parent2d725daf9ffb06f2f33fe28065703905a9003d23commit | diff
drop_coercions.xsl has been added
helm/style/drop_coercions.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.