summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Mart Lubbers [Tue, 1 Mar 2016 20:07:52 +0000 (21:07 +0100)]
merge
Mart Lubbers [Tue, 1 Mar 2016 20:06:50 +0000 (21:06 +0100)]
started with 4
Mart Lubbers [Wed, 24 Feb 2016 12:38:07 +0000 (13:38 +0100)]
product automaton
Mart Lubbers [Sun, 21 Feb 2016 15:40:45 +0000 (16:40 +0100)]
.
Mart Lubbers [Sun, 21 Feb 2016 14:51:47 +0000 (15:51 +0100)]
.
Mart Lubbers [Wed, 17 Feb 2016 09:23:37 +0000 (10:23 +0100)]
a2done
Mart Lubbers [Sun, 14 Feb 2016 13:02:45 +0000 (14:02 +0100)]
e2 done
Mart Lubbers [Fri, 12 Feb 2016 19:08:25 +0000 (20:08 +0100)]
a
Mart Lubbers [Wed, 10 Feb 2016 09:36:30 +0000 (10:36 +0100)]
fix e1
Mart Lubbers [Mon, 8 Feb 2016 19:54:34 +0000 (20:54 +0100)]
update
Mart Lubbers [Fri, 5 Feb 2016 20:59:53 +0000 (21:59 +0100)]
e1-4 done