]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8eba204) | patch
Makefile fixed (too many parameters on command line);
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Jun 2001 14:56:54 +0000 (14:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Jun 2001 14:56:54 +0000 (14:56 +0000)
commit324d7a74894430e413b61ab2e26605ddd16474d6
tree12513eb4108d42ce2e6b361260e7ae9337db59bdtree | snapshot
parent8eba2047aac22a3d68000fcf2213238fd4032d36commit | diff
Makefile fixed (too many parameters on command line);
xslt/occurrences.xsl added
helm/metadata/create/Makefile diff | blob | history
helm/metadata/xslt/occurrences.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.