]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 359a1bd) | patch
- de-ALB-ing
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Sep 2005 16:36:27 +0000 (16:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Sep 2005 16:36:27 +0000 (16:36 +0000)
commit61811d33c5f860c0a145c63331f92448394107ed
treea458f70881f80bed0303ad04280b094e851fe03ctree | snapshot
parent359a1bd5ae0e0a1495573e087b3ce29cd2dd442ecommit | diff
- de-ALB-ing
- added a debugging item for notation
helm/matita/matita.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.