]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6488cac) | patch
Second attempt at dialog boxes in index.html.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:39:51 +0000 (12:39 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:39:51 +0000 (12:39 +0000)
commit07c264b088aa018552a810ff365b0d889fb0fd5c
tree3fd96b863aca932cd056e2ce101982242b0bc009tree | snapshot
parent6488cac23c7fea4f5511979d26362547db3462d8commit | diff
Second attempt at dialog boxes in index.html.
matitaB/matita/matitaweb.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.