]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e78cf74) | patch
removed a call to autobatch.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 26 May 2009 10:47:42 +0000 (10:47 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 26 May 2009 10:47:42 +0000 (10:47 +0000)
commit9be9ca06b0050a29f0d5611c2d3254125557e59d
tree2d6494c32456ba80745532ae3a1739612721dd6atree | snapshot
parente78cf74f8976cf0ca554f64baa9979d0423ee927commit | diff
removed a call to autobatch.
helm/software/matita/library/Z/moebius.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.