]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4573f1f) | patch
added some commented debugging instructions :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Mar 2009 20:16:58 +0000 (20:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Mar 2009 20:16:58 +0000 (20:16 +0000)
commitb197242b10d80729d47457911bd6f42f4a30f354
tree8925f5870683f639acea64e4796078239f95c8c1tree | snapshot
parent4573f1fecaf83f4706f39702555d5319d132477bcommit | diff
added some commented debugging instructions :)
helm/software/matita/applyTransformation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.