]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a2d448) | patch
Bugs fixed:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 11 May 2006 11:27:44 +0000 (11:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 11 May 2006 11:27:44 +0000 (11:27 +0000)
commit1fe6285e012b840bd335eb49e0359d0411029c81
tree57be1e9084869251802ba270cda678b4cf68ebc9tree | snapshot
parent0a2d4485302b2e0c1710500def3731fb4d866cc9commit | diff
Bugs fixed:
 * the dependency parser no longer fails when an incomplete "include" or "set"
   are met
 * ask_and_save_moo is now performed more lazily and some bugs have been fixed
components/grafite_parser/dependenciesParser.ml diff | blob | history
matita/matitaGui.ml diff | blob | history
matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.