]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57303a4) | patch
Merging of the modifications of Lorenzo on the main branch. They
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Oct 2002 14:05:59 +0000 (14:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Oct 2002 14:05:59 +0000 (14:05 +0000)
commit6aedc4a96e3dce6b41befe20c6814f063ab958ac
treeb0c565d3c5bdcfe9f058099938aeae066aba6213tree | snapshot
parent57303a4ab1f66a495df15477a999f7afb7ba4ad4commit | diff
Merging of the modifications of Lorenzo on the main branch. They
implement the Fun constructor in a uniform way.
helm/ocaml/mathql_interpreter/.depend diff | blob | history
helm/ocaml/mathql_interpreter/func.ml diff | blob | history
helm/ocaml/mathql_interpreter/mqint.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.