mc1516.git
8 years agoupdated
Mart Lubbers [Tue, 1 Mar 2016 20:11:40 +0000 (21:11 +0100)]
updated

8 years agomerge
Mart Lubbers [Tue, 1 Mar 2016 20:07:52 +0000 (21:07 +0100)]
merge

8 years agostarted with 4
Mart Lubbers [Tue, 1 Mar 2016 20:06:50 +0000 (21:06 +0100)]
started with 4

8 years agoproduct automaton
Mart Lubbers [Wed, 24 Feb 2016 12:38:07 +0000 (13:38 +0100)]
product automaton

8 years ago.
Mart Lubbers [Sun, 21 Feb 2016 15:40:45 +0000 (16:40 +0100)]
.

8 years ago.
Mart Lubbers [Sun, 21 Feb 2016 14:51:47 +0000 (15:51 +0100)]
.

8 years agoa2done
Mart Lubbers [Wed, 17 Feb 2016 09:23:37 +0000 (10:23 +0100)]
a2done

8 years agoe2 done
Mart Lubbers [Sun, 14 Feb 2016 13:02:45 +0000 (14:02 +0100)]
e2 done

8 years agoa
Mart Lubbers [Fri, 12 Feb 2016 19:08:25 +0000 (20:08 +0100)]
a

8 years agofix e1
Mart Lubbers [Wed, 10 Feb 2016 09:36:30 +0000 (10:36 +0100)]
fix e1

8 years agoupdate
Mart Lubbers [Mon, 8 Feb 2016 19:54:34 +0000 (20:54 +0100)]
update

8 years agoe1-4 done
Mart Lubbers [Fri, 5 Feb 2016 20:59:53 +0000 (21:59 +0100)]
e1-4 done