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 kipa00 initial commit Sep 9, 2019 26242a5 · Sep 9, 2019 History 1 Commit
Makefile	Makefile	initial commit	Sep 9, 2019
README.md	README.md	initial commit	Sep 9, 2019
lexer.mll	lexer.mll	initial commit	Sep 9, 2019
main.ml	main.ml	initial commit	Sep 9, 2019
parser.mly	parser.mly	initial commit	Sep 9, 2019
script.py	script.py	initial commit	Sep 9, 2019
type.ml	type.ml	initial commit	Sep 9, 2019