]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34104f5) | patch
it seems the sequent window is refreshed properly now
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 8 Jul 2005 09:59:02 +0000 (09:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 8 Jul 2005 09:59:02 +0000 (09:59 +0000)
commitbf07cdb635f9a3eb858a1b7980f848f3e40a439c
tree842087a940c1a8a61cbbf0bfa5d18dbff47afea9tree | snapshot
parent34104f5a2b1ba5c2a795cd5c8502f8944de23b20commit | diff
it seems the sequent window is refreshed properly now
helm/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.