]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b503649) | patch
Matitaweb: Fixes a bug which prevented Mozilla from displaying long goals
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 23 Mar 2012 10:11:15 +0000 (10:11 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 23 Mar 2012 10:11:15 +0000 (10:11 +0000)
commitb40e4e96e85103c7072985990c6b541371fd5a48
tree17b65f394996473ecf79c1f0c002e62d6ef0ac61tree | snapshot
parentb503649d75bd4cb8edf87418abfd56bf06c18cfdcommit | diff
Matitaweb: Fixes a bug which prevented Mozilla from displaying long goals
correctly.
matitaB/matita/html/matitaweb.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.