]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bd0d33) | patch
Bug fixed: variable capture in previous commit prevented all aliases insertion.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Apr 2009 02:26:10 +0000 (02:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Apr 2009 02:26:10 +0000 (02:26 +0000)
commitcb25e0f32f7581e1a49d1d1c109108763dfb882c
treed032f243f8fdc2e47c08eba19bfcf362a8a7ec9btree | snapshot
parent6bd0d331d096d862754b42f9a7fb8af1b823685dcommit | diff
Bug fixed: variable capture in previous commit prevented all aliases insertion.
helm/software/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.