6 Commits

Author	SHA1	Message	Date
Pavol Rusnak	f82ee02438	remove dangling spaces	2024-10-09 21:51:34 +02:00
Pavol Rusnak	cd7780f984	modernize	2024-10-09 21:50:18 +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