]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eebe90e) | patch
Implemented standard semantics of Load in MTI: loading a file when the current
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Dec 2010 15:13:41 +0000 (15:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Dec 2010 15:13:41 +0000 (15:13 +0000)
commit4b3a9a15edbab7a3aa819155dc1ac1eec1ddb0a3
tree5ffb023f27daeac274d356588342b14207ae2566tree | snapshot
parenteebe90eef0aa7997fc6cfc926b7bbf1899b5080dcommit | diff
Implemented standard semantics of Load in MTI: loading a file when the current
one is unnamed and not modified does not open a new tab.
matita/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.