5 commits

Author	SHA1	Message	Date
Yarmo Mackenbach	ddb085166c	Update AGPL headers in PHP files	2020-07-31 00:35:35 +02:00
Yarmo Mackenbach	4461141903	Add AGPL headers	2020-07-30 12:05:11 +02:00
Yarmo Mackenbach	583e8cbae2	Updated design	2020-07-11 19:33:56 +02:00
Yarmo Mackenbach	7180086ef3	Fully transition to PHP templating, improve key selection	2020-07-02 02:36:15 +02:00
Yarmo Mackenbach	82f6fee626	Convert all HTML files to PHP	2020-07-02 00:54:40 +02:00

Renamed from pages/proofs.html (Browse further)