]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbb6a26) | patch
added keyword include'
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Apr 2006 14:21:12 +0000 (14:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Apr 2006 14:21:12 +0000 (14:21 +0000)
commitab85a7eecc1f2c9f777eae0989c92ff6a03aa695
tree0fa55134b16112cd7eb34f84a0ae3da36ae09e2btree | snapshot
parentcbb6a26ba001722c0e10210a3e3d625c095f6767commit | diff
added keyword include'
matita/matita.lang diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.