]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e51145) | patch
Update eligible problem list (now sorted)
authordenes <??>
Wed, 29 Jul 2009 16:50:34 +0000 (16:50 +0000)
committerdenes <??>
Wed, 29 Jul 2009 16:50:34 +0000 (16:50 +0000)
commitbefd0e7820308a9a09d3499c8131e26578efc462
tree43fdaa6e3c2709cdfe966310da76d626611eb986tree | snapshot
parent4e51145c79bf8c5c8d42442f74b2c63ff68141edcommit | diff
Update eligible problem list (now sorted)
helm/software/components/binaries/matitaprover/eligible_unit_equality_problems diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.