]> matita.cs.unibo.it Git - helm.git/commit
Matitaweb:
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Fri, 30 Sep 2011 11:11:22 +0000 (11:11 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Fri, 30 Sep 2011 11:11:22 +0000 (11:11 +0000)
commit54f0752c831479f87d61afcdfdafd2a35edb4053
treea7acc3239b1938d0703bb9c11def8942c007e239
parent93ad0bc98a502397b5ba0334c0f7088da045fa2d
Matitaweb:
1) Added experimental update functionality
2) Flagged library files -synchronized, modified, conflicted, unmanaged-
   (partial implementation)
3) Various cosmetic changes
matitaB/matita/index.html
matitaB/matita/matitaAuthentication.ml
matitaB/matita/matitaAuthentication.mli
matitaB/matita/matitaFilesystem.ml
matitaB/matita/matitaFilesystem.mli
matitaB/matita/matitadaemon.ml
matitaB/matita/matitaweb.css
matitaB/matita/matitaweb.js
matitaB/matita/netplex.conf