]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 341c09a) | patch
Removed old logs
authordenes <??>
Mon, 27 Jul 2009 12:49:02 +0000 (12:49 +0000)
committerdenes <??>
Mon, 27 Jul 2009 12:49:02 +0000 (12:49 +0000)
commit3b011229f73f5150fa75c9f196812154b6a4d8ba
treede39a1a15624e8a170950daddea5f08146df0fc5tree | snapshot
parent341c09ae53c5b432015dbd95ac099d824609e626commit | diff
Removed old logs
helm/software/components/binaries/matitaprover/log.090625 [deleted file] blob | history
helm/software/components/binaries/matitaprover/log.090627 [deleted file] blob | history
helm/software/components/binaries/matitaprover/log.090629 [deleted file] blob | history
helm/software/components/binaries/matitaprover/log.090629-no-infer-on-closed-goals-10 [deleted file] blob | history
helm/software/components/binaries/matitaprover/log.90.fixed-order [deleted file] blob | history
helm/software/components/binaries/matitaprover/log.90.fixed-order.2 [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.