summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Mart Lubbers [Tue, 26 Jan 2016 13:44:48 +0000 (14:44 +0100)]
update
Mart Lubbers [Tue, 26 Jan 2016 11:09:44 +0000 (12:09 +0100)]
added part about automata learinng
Mart Lubbers [Thu, 21 Jan 2016 14:53:12 +0000 (15:53 +0100)]
mbt done'
git pus
Mart Lubbers [Thu, 21 Jan 2016 14:03:57 +0000 (15:03 +0100)]
mbt slides1 done
Mart Lubbers [Wed, 20 Jan 2016 08:10:44 +0000 (09:10 +0100)]
update
Mart Lubbers [Mon, 30 Nov 2015 17:04:30 +0000 (18:04 +0100)]
added proof bit
Mart Lubbers [Mon, 30 Nov 2015 15:30:29 +0000 (16:30 +0100)]
initial commit, started with the exercises
repositories / tt1516.git / log