]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59d7f64) | patch
since there is no more tab, the modification of the current file is in the window...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Nov 2007 21:14:49 +0000 (21:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Nov 2007 21:14:49 +0000 (21:14 +0000)
commitf609fb258bd5c56f122af41d665f6cf79f0f54b9
tree648de9c465a9f730a0c59fc30b41b7d2172a2c1etree | snapshot
parent59d7f64e2e1a22ded8f9017942ca640fe62d886acommit | diff
since there is no more tab, the modification of the current file is in the window title
helm/software/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.