3 Commits

Include renames

Author	SHA1	Message	Date
n1474335	e93aa42697	Input and output character encodings can now be set	2022-09-02 12:56:04 +01:00
n1474335	7c8a185a3d	HTML outputs can now be selected and handle control characters correctly	2022-07-18 18:39:41 +01:00
n1474335	68733c74cc	Output now uses CodeMirror editor	2022-07-02 19:23:03 +01:00