Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 371686c260 ab: add fairspec theorem master hellerve 2019-01-15 10:23:14 +01:00
• ea55b8b33a ab: add initial specs hellerve 2019-01-14 18:43:28 +01:00
• 31fbbc4d95 remove: add simple remove model hellerve 2019-01-14 16:17:07 +01:00
• 7e0edb007c add paxos commit hellerve 2018-12-28 12:38:12 +01:00
• a591cb9219 no toolboxes, apparently hellerve 2018-12-27 16:09:41 +01:00
• b2ae18b454 remove pdf hellerve 2018-12-27 16:08:11 +01:00
• 70c944a2b7 i... dont know what to commit hellerve 2018-12-27 16:07:37 +01:00