]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2957d67) | patch
added test for reordering of goals when using the 1,2,3: tinycal
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 26 Jul 2006 09:17:25 +0000 (09:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 26 Jul 2006 09:17:25 +0000 (09:17 +0000)
commit2dd8be781f939739e1410dce3706ccc19a990525
tree2074c4d4ca46437204b618368867afe941f67016tree | snapshot
parent2957d67b2b74224cf3bb768461d60f07062e1b9dcommit | diff
added test for reordering of goals when using the 1,2,3: tinycal
helm/software/matita/tests/tinycals.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.