taddeus/trs: Mathematical term rewriting system @ c409356f562451c455488618824cf865980d8502

Taddeus Kroes 5e5c80106c jQuery is now included as a static file instead of a submodule		13 lat temu
..
css	67c135176a Display proper status indication after validation for each input line	13 lat temu
js	3fc12d3edc Code cleanup	13 lat temu
tpl	5e5c80106c jQuery is now included as a static file instead of a submodule	13 lat temu