]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34bdae0) | patch
- no more CSCisms for MathML editor: now use mathml editor debian and
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Apr 2003 14:11:02 +0000 (14:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Apr 2003 14:11:02 +0000 (14:11 +0000)
commit524d98c48e119440423b449127ae05415ee48753
tree3b29388704f7bd42858ed2ccbad9ad1d9b6fda9btree | snapshot
parent34bdae056b1ac678419cc63437f0c92ee58ef228commit | diff
- no more CSCisms for MathML editor: now use mathml editor debian and
  findlib package
helm/gTopLevel/Makefile diff | blob | history
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/texTermEditor.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.