Use <meta charset=UTF-8> in HTML5
[lhc/web/wiklou.git] / math / mathml.ml
2003-04-14 Lee Daniel CrockerInitial revision