Commit Graph

6 Commits

Author SHA1 Message Date
Pavol Rusnak
06b9555462
remove dangling spaces 2024-10-11 23:14:32 +02:00
Pavol Rusnak
ce9dc56048
modernize 2024-10-11 23:13:52 +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