]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38fc67d) | patch
cosmetic changes
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Sep 2005 13:25:46 +0000 (13:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Sep 2005 13:25:46 +0000 (13:25 +0000)
commit4ccb69a58caed6f5da5b64abaf9f65c7a38f8cc3
tree90be654128b8bccbf225a6cc8eff5ecdc7083900tree | snapshot
parent38fc67d4e3d9e4a0f4f6203a52edc89084e2dcc5commit | diff
cosmetic changes
helm/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.