]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b3a9a1) | patch
Bug fixed (introduced in previous commit): opening multiple files requires first
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Dec 2010 22:14:44 +0000 (22:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Dec 2010 22:14:44 +0000 (22:14 +0000)
commita9afd40d8d1b517a474afe7dcb77197831b1bd75
tree113e547a959b286522762ed7d941dee148d8c6a3tree | snapshot
parent4b3a9a15edbab7a3aa819155dc1ac1eec1ddb0a3commit | diff
Bug fixed (introduced in previous commit): opening multiple files requires first
the creation of the newScript to be replaced.
matita/matita/matita.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.