]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9db59fb) | patch
* New slides from Saarbrucken
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Apr 2002 17:16:46 +0000 (17:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Apr 2002 17:16:46 +0000 (17:16 +0000)
commit829cefe178cd633bb0c6deb18b29bba3e5e3bc16
tree9d199458b2a3739381bab2393da82c5430d6c626tree | snapshot
parent9db59fb2f254e37ae424d80cccd8ecc1c65ab6a8commit | diff
* New slides from Saarbrucken
* DTD changed
helm/mowgli/home/misc/kick-off/KM2002GO.ps [new file with mode: 0644] blob
helm/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps [new file with mode: 0644] blob
helm/mowgli/home/xml/members/kick-off.xml diff | blob | history
helm/mowgli/home/xsl/minutes.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.