]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 226aef2) | patch
Now it is possible to define a 'cookable' operator with arity = 0 and hide = 0
authorPietro Di Lena <pietro.dilena@unibo.it>
Mon, 25 Nov 2002 18:16:15 +0000 (18:16 +0000)
committerPietro Di Lena <pietro.dilena@unibo.it>
Mon, 25 Nov 2002 18:16:15 +0000 (18:16 +0000)
commit34878a91f0200675e19d09a683b31c2bc22defdf
tree1c8553bbf7fd99fb5b1f41258794f4e5099f119ctree | snapshot
parent226aef203391e48b13bc9142d57cca5d4e25ef53commit | diff
Now it is possible to define a 'cookable' operator with arity = 0 and  hide = 0
helm/meta_style/meta_cic2mathml.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.