]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9e3089) | patch
Gtk loop was called only when a proof was terminated. Now it is called after
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 10:25:19 +0000 (10:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 10:25:19 +0000 (10:25 +0000)
commit52f1d65c2f014ae6e45fb1e0b422281c443dc17f
tree2fc86d51981efdd983b8d68a627ba8e89cf89b32tree | snapshot
parente9e3089b886e88a07267743cae79d6a9cabdd3c3commit | diff
Gtk loop was called only when a proof was terminated. Now it is called after
every line.
helm/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.