Follow-up on r56251 - merging showLogs and showLogExtract
[lhc/web/wiklou.git] / math / texvc_tex.ml
2003-04-14 Lee Daniel CrockerInitial revision