4 commits

Author	SHA1	Message	Date
Yarmo Mackenbach	c3af757bd0	Add PHP templating	2020-06-27 14:49:55 +02:00
Yarmo Mackenbach	28c74ae5d5	Fix extra value attribute	2020-06-27 14:48:28 +02:00
Yarmo Mackenbach	97cc2ebc13	Update relative URLs	2020-06-26 16:59:13 +02:00
Yarmo Mackenbach	0f72b2daeb	Restructure files	2020-06-26 16:52:48 +02:00

Renamed from proofs.html (Browse further)