]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0706aae) | patch
Bug fixed: following a link to an object inside a theory opened the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 May 2001 09:15:55 +0000 (09:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 May 2001 09:15:55 +0000 (09:15 +0000)
commit81420aefbc1d136d061cb86c05ef587c339f1b4f
tree47a7a12cae3503d16b6285b77b248f80d1714cd2tree | snapshot
parent0706aaeb40d7d17c3f58b49389cb3e7dc55759d8commit | diff
Bug fixed: following a link to an object inside a theory opened the
 object with the header of the theories.
helm/on-line/javascript/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.