]> matita.cs.unibo.it Git - helm.git/commit
Matitaweb: Some bugfixes concerning file flags.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 30 Sep 2011 12:38:25 +0000 (12:38 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 30 Sep 2011 12:38:25 +0000 (12:38 +0000)
commit92a81bb9f7e51807585feb00f102b1f02d6cf1d3
treef1f096db5a981f5921c0780b8ee677bc5e170b41
parent54f0752c831479f87d61afcdfdafd2a35edb4053
Matitaweb: Some bugfixes concerning file flags.
matitaB/matita/matitaAuthentication.ml
matitaB/matita/matitaFilesystem.ml
matitaB/matita/matitaFilesystem.mli
matitaB/matita/matitaweb.js