]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab0d1d5) | patch
added license stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 30 Jun 2005 09:36:02 +0000 (09:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 30 Jun 2005 09:36:02 +0000 (09:36 +0000)
commit9866bb69de5db225df74ea29a7bb958a0a4aa585
tree60ee55b1eed20058d606785b080f0fbc946c2719tree | snapshot
parentab0d1d5a50ad2e01bcf2e5e4a6ded8322a9da4b9commit | diff
added license stuff
helm/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.