2016-04-20 | Mart Lubbers | update | tree | commitdiff |
2016-04-20 | Mart Lubbers | tex update | tree | commitdiff |
2016-04-20 | Mart Lubbers | Merge remote-tracking branch 'origin/lurd' | tree | commitdiff |
2016-04-20 | Mart Lubbers | transitions formalized | tree | commitdiff |
2016-04-19 | Mart Lubbers | started with transitions in formal documentg | tree | commitdiff |
2016-04-19 | Mart Lubbers | add move variables | tree | commitdiff |
2016-04-19 | Mart Lubbers | small report add and test make add | tree | commitdiff |
2016-04-15 | Mart Lubbers | Started with report | tree | commitdiff |