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