]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 549c0ab) | patch
**** EXPERIMENTAL ****
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 2 Oct 2006 16:22:13 +0000 (16:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 2 Oct 2006 16:22:13 +0000 (16:22 +0000)
commitbaf2bf939ffa6b9bbba8c3f3d59737096e723d8d
treef2dd719b0e04c80894cd8abab19ac3be5bd53451tree | snapshot
parent549c0abf3f9d170db297a8b9d35bf4bf97288662commit | diff
**** EXPERIMENTAL ****
The GUI of Matita is now thread-based.
In principle Ctr-C works unreliably.
In practice it works reasonably well.
matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.