some code comments, fix some indentation issues
authorAntoine Musso <hashar@users.mediawiki.org>
Wed, 17 Nov 2010 21:12:52 +0000 (21:12 +0000)
committerAntoine Musso <hashar@users.mediawiki.org>
Wed, 17 Nov 2010 21:12:52 +0000 (21:12 +0000)
commit3bc84903b2e729e3ee2f4552a7d05224ba860aab
tree0d1c0792f4ed5f9607b6e36fd85da5c3833efea7
parent7e626b8f855d4982abeae205d139ddd33c285aa6
some code comments, fix some indentation issues
math/render.ml
math/texutil.ml
math/texvc.ml
math/util.ml