]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c71d6a) | patch
Matitaweb: clicking buttons disables the GUI to prevent another operation from
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 13 Dec 2011 11:40:23 +0000 (11:40 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 13 Dec 2011 11:40:23 +0000 (11:40 +0000)
commiteb553660052f5853a7baeb6905dccd59abc0f8e4
treeeac7ea44c75d9aa6633ebd4d4161f2595ad48546tree | snapshot
parent5c71d6a1d1461007f941f73d2cc7975c7116fd0dcommit | diff
Matitaweb: clicking buttons disables the GUI to prevent another operation from
being issued before the first one has completed.
matitaB/matita/matitaweb.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.