matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 518d6cf) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 27 Mar 2008 13:45:29 +0000 (13:45 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 27 Mar 2008 13:45:29 +0000 (13:45 +0000)
commit	613bc202d0810f4386b393bfb369c62dfc78c68c
tree	945385d44607962d418c0d7d45bb29ecdad50816	tree \| snapshot
parent	518d6cfee0f99668a84f3b6b3a7572f93b1de91b	commit \| diff

added is_closed to nCicUtils.
partial implementation of the typeof main function.
dummy nCicPp waiting for a proper replacement

Unnamed repository; edit this file 'description' to name the repository.