]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92e5321) | patch
no more matitaprover
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Jan 2008 13:11:22 +0000 (13:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Jan 2008 13:11:22 +0000 (13:11 +0000)
commitfa564a98052e479547a37c9e491623fca5f3e0ba
tree9f2a00a3fce909493c03380ff3ae73f26f9bd09atree | snapshot
parent92e53212b1142355777f171bf683066f52135ed7commit | diff
no more matitaprover
matita/matitaGui.ml diff | blob | history
matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.