]> matita.cs.unibo.it Git - helm.git/commit
alases instance not printed if 0
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 14 Apr 2006 10:13:55 +0000 (10:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 14 Apr 2006 10:13:55 +0000 (10:13 +0000)
commitd78383a4c3c7e8bd49f25c9aacf591b96db91b38
treef2ec4d432864b82ce8605687d0a98aa4dfcb65a2
parenta89868740968d139dd4e1d621663bcd4d69d0265
alases instance not printed if 0
helm/software/components/lexicon/lexiconAstPp.ml