]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb4b0c8) | patch
Matitaweb:
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 2 Nov 2011 12:52:37 +0000 (12:52 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 2 Nov 2011 12:52:37 +0000 (12:52 +0000)
commit070bda8035e9ae0d3bfe69110d184bb82183cf46
tree40ec972bf9108f0ea80eb54cb2744e58ba8b66aftree | snapshot
parentcb4b0c887ba703b7949656d5b72b5f94756a77bdcommit | diff
Matitaweb:
1) Added button to strip interpretations from the source
2) Fixed some UI bugs
matitaB/components/extlib/hExtlib.ml diff | blob | history
matitaB/components/extlib/hExtlib.mli diff | blob | history
matitaB/components/ng_disambiguation/grafiteDisambiguate.ml diff | blob | history
matitaB/matita/index.html diff | blob | history
matitaB/matita/matitaweb.css diff | blob | history
matitaB/matita/matitaweb.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.