]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c1f737) | patch
Bux fixed: matita did not save the .lexicon files! (only matitac did)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Jan 2006 12:19:17 +0000 (12:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Jan 2006 12:19:17 +0000 (12:19 +0000)
commit40a09a72c4e86256ace6e8b26942d1bd2238534b
treef0691cc1abd6957a71ff9cc364762e4ded2f6eb8tree | snapshot
parent8c1f73782884c50c5b651a8a4e6588f494d85958commit | diff
Bux fixed: matita did not save the .lexicon files! (only matitac did)
helm/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.