]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ddc0a7b) | patch
b:action are now considered as m:maction and thus are expanded
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Feb 2009 16:06:53 +0000 (16:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Feb 2009 16:06:53 +0000 (16:06 +0000)
commit2aaccff18bc81943efe0c1b76dbe4613f93de5bc
tree39ccc4721a7ee2aa5f1eca5bd52f69e80b549a30tree | snapshot
parentddc0a7b3f0acd57f879e540e696f69ca0c20bbf5commit | diff
b:action are now considered as m:maction and thus are expanded
helm/software/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.