]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71284ef) | patch
commented out debugging tutor "wait"
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:45:25 +0000 (16:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:45:25 +0000 (16:45 +0000)
commit9ca6b45a45f1cc4cb30a4f36f9939dbedf657e6e
tree83bfad13d3bd38562fa0fcaffee46d3959342547tree | snapshot
parent71284ef6c56c909e7205543f3fe8b916517f79b0commit | diff
commented out debugging tutor "wait"
helm/hbugs/tutors/INDEX.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.