Commit graph

3 commits

Author SHA1 Message Date
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)