]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ab5ca8) | patch
* minor correction to make the new mathml widget work better
authorLuca Padovani <luca.padovani@unito.it>
Tue, 28 Sep 2004 16:04:32 +0000 (16:04 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 28 Sep 2004 16:04:32 +0000 (16:04 +0000)
commitefd1d308c25b8167dfb0861e70c7381eb6dedc4b
tree9541b6aa46cecf88d8b0a7fcfe39e4645bb23253tree | snapshot
parent9ab5ca8acba80b19a939eea2cd87761507e7128bcommit | diff
* minor correction to make the new mathml widget work better
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/termViewer.ml diff | blob | history
helm/gTopLevel/xmlDiff.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.