5 Commits

Author	SHA1	Message	Date
Mark Qvist	de8d9cf722	Implemented resources	2018-04-18 23:31:17 +02:00
Mark Qvist	19d9b1a4a5	Proof handling	2018-04-17 17:46:48 +02:00
Mark Qvist	75e0cb039d	Implemented links	2018-04-16 17:14:01 +02:00
Mark Qvist	5f7694afdd	Cleanup	2018-04-08 13:41:03 +02:00
Mark Qvist	0196c94672	Refactored to new naming scheme. Implemented KISS interface.	2018-04-04 14:14:22 +02:00