]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0715148) | patch
Corrected a mistake in power_upto, and decreased the value of just_factor to
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 19 Oct 2005 15:52:56 +0000 (15:52 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 19 Oct 2005 15:52:56 +0000 (15:52 +0000)
commiteb882cc83302a5f6035c3e29018a9aab224d4d25
tree959ccc1f4c8f2096196b2ae4453cf66037345d92tree | snapshot
parent07151480b04db0ef4e77d09a5b7559ae5ab25ab4commit | diff
Corrected a mistake in power_upto, and decreased the value of just_factor to
three.
helm/ocaml/metadata/metadataConstraints.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.