]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec86d39) | patch
Exported a couple of functions.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 29 Oct 2008 15:18:35 +0000 (15:18 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 29 Oct 2008 15:18:35 +0000 (15:18 +0000)
commit5641b3c51a2ed61a0635dfbca663b123c417732e
tree16d60264b3c9af1c1bd86dfabfc40e902d02bae3tree | snapshot
parentec86d39f8d1c462a42d13b347f6e309b3d3936e7commit | diff
Exported a couple of functions.
--Thi sline, and those below, will be ignored--

M    metadataQuery.mli
helm/software/components/tactics/metadataQuery.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.