]> matita.cs.unibo.it Git - helm.git/commit
new syntax
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Sep 2009 11:50:14 +0000 (11:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Sep 2009 11:50:14 +0000 (11:50 +0000)
commit52497e1453862dc243cc76698972ae0c41812cec
treee18b9a4a813f699eda1693a048998afdaadc5775
parent07713b63c109a99c2b9dc7265571bcdd3dd6ed0d
new syntax
helm/software/matita/matita.lang