]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23afaeb) | 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)
commitb1129a0a78ebf49c029420216fe94e16f8b0b76b
treebae4ccff9d6f87e68b98b24222837de3ac403be0tree | snapshot
parent23afaebafcc8662a1617629cb01040782c8afca3commit | diff
added test for reordering of goals when using the 1,2,3: tinycal
matita/tests/tinycals.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.