]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31a7097) | patch
Matitaweb: Fixed a bug in matitaweb.js concerning disambiguation and escaping.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 27 Oct 2011 11:32:11 +0000 (11:32 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 27 Oct 2011 11:32:11 +0000 (11:32 +0000)
commit6c84daf943dfba98f3061cba6adadc8837bf150a
tree4e1c7906c18b7ed684050b971b2244e22801017btree | snapshot
parent31a709773b66950ce7f14fed8fa4a951a4673ee9commit | diff
Matitaweb: Fixed a bug in matitaweb.js concerning disambiguation and escaping.
Added pretty-printing of unhandled NTacStatus.Error exceptions.
matitaB/matita/matitadaemon.ml diff | blob | history
matitaB/matita/matitaweb.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.