tex2html

A transcriptor from tex to html. Limited use only.

Usage

Primary usage is to sync polygon description with boj description, when making programming problems.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commits
Makefile		Makefile
README.md		README.md
lexer.mll		lexer.mll
main.ml		main.ml
parser.mly		parser.mly
script.py		script.py
type.ml		type.ml