]> matita.cs.unibo.it Git - helm.git/commit
result format changed
authorlordi <??>
Wed, 22 May 2002 17:51:53 +0000 (17:51 +0000)
committerlordi <??>
Wed, 22 May 2002 17:51:53 +0000 (17:51 +0000)
commit2894cb7d5855ac2003e81c9383c3cf3843973d9e
treee6f2a102780dd22fc4b8e32f5167c26849fadda9
parent4eb511509f839188c4f368647fc8fb8be49539ff
result format changed
helm/gTopLevel/mquery.ml