]> matita.cs.unibo.it Git - helm.git/commit
* add ocamldoc comments to .mli interface files
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:11:43 +0000 (10:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:11:43 +0000 (10:11 +0000)
commitcfa32bab2a2fb63b765eaef028bd60596e646347
treeae102e129138540488d7b353dd0b30571d49f153
parent49a08bd8d48b3627a58b81d2175d0d286de965e6
* add ocamldoc comments to .mli interface files
helm/software/DEVEL/lablgtkmathview/debian/changelog
helm/software/DEVEL/lablgtkmathview/gMathView.mli
helm/software/DEVEL/lablgtkmathview/gMathViewAux.mli