]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78d5a52) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Wed, 17 Jan 2001 11:23:12 +0000 (11:23 +0000)
committerIrene Schena <irene.schena@unibo.it>
Wed, 17 Jan 2001 11:23:12 +0000 (11:23 +0000)
commit638ea30787cd4b14a27fabac36c1319bc6ab14b7
tree96ec555e7327d1d30003e2174afa90af55f9e615tree | snapshot
parent78d5a52a5b9af28316289982416e7cb5b642ee8dcommit | diff
Modified Files:
1) cicobject.dtd: added body? to Variable
helm/dtd/cicobject.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.