]> matita.cs.unibo.it Git - helm.git/commit
Matitaweb: Some changes in file selection dialogbox.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 8 Sep 2011 12:32:18 +0000 (12:32 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 8 Sep 2011 12:32:18 +0000 (12:32 +0000)
commit43c8894e56290dae4bfb93c0361bc396664e1b1f
treeb3daa7563fa58b2a519d428cf36708180a4397e3
parent41d5d6bbe0214bac728a708d34ab3e0b4cac86db
Matitaweb: Some changes in file selection dialogbox.
matitaB/matita/index.html
matitaB/matita/matitaFilesystem.ml
matitaB/matita/matitaweb.css
matitaB/matita/treeview/xmlTree.js