* Add way to get full input from stdin() without having to check the length
[lhc/web/wiklou.git] / math / html.mli
2003-04-14 Lee Daniel CrockerInitial revision