]> matita.cs.unibo.it Git - helm.git/commit
* getparams returns annotated pairs key,values
authorLuca Padovani <luca.padovani@unito.it>
Wed, 26 May 2004 16:26:56 +0000 (16:26 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 26 May 2004 16:26:56 +0000 (16:26 +0000)
commit2aea6f286c52d30eca4108ef357c97bbbcb3e3cf
tree5baed7361af726367b475179028aaf15304e41ff
parent0cecccac856404634b2712fe672a6c746ed373b9
* getparams returns annotated pairs key,values
helm/uwobo/uwobo.ml