6 Commits

Author	SHA1	Message	Date
Pavol Rusnak	ecd5460e7f	remove dangling spaces	2024-10-07 10:52:43 +02:00
Pavol Rusnak	1303f353d5	modernize	2024-10-07 10:52:07 +02:00
Mark Qvist	f80e09cb5c	Included six internally.	2021-09-11 16:03:35 +02:00
Mark Qvist	a339ae3d28	Preliminary Python3 support	2020-04-22 12:07:13 +02:00
Mark Qvist	19d9b1a4a5	Proof handling	2018-04-17 17:46:48 +02:00
Mark Qvist	0196c94672	Refactored to new naming scheme. Implemented KISS interface.	2018-04-04 14:14:22 +02:00