]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e043394) | patch
Changed behavior in matitaweb.js, function retrieveFile (it is now
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 7 Sep 2011 13:47:44 +0000 (13:47 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 7 Sep 2011 13:47:44 +0000 (13:47 +0000)
commit6c146035564b39f54a3c919135f179cec349c284
treee49ebc3e3b7c26458659a0d602a22841bf6b6c34tree | snapshot
parente0433942a61cfe8b43b68a81efa7d7d68abe3c5acommit | diff
Changed behavior in matitaweb.js, function retrieveFile (it is now
compatible with Firefox, hopefully).
matitaB/matita/matitadaemon.ml diff | blob | history
matitaB/matita/matitaweb.js diff | blob | history
matitaB/matita/netplex.conf diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.