Eugen Sawin <sawine@me73.com> [Thu, 30 Jun 2011 02:06:23 +0200] rev 21
Started with automata construction.
Eugen Sawin <sawine@me73.com> [Wed, 29 Jun 2011 18:56:22 +0200] rev 20
Layout and stuff.
Eugen Sawin <sawine@me73.com> [Wed, 29 Jun 2011 18:39:07 +0200] rev 19
Layout and stuff.
Eugen Sawin <sawine@me73.com> [Wed, 29 Jun 2011 00:11:59 +0200] rev 18
Nothing.
Eugen Sawin <sawine@me73.com> [Tue, 28 Jun 2011 22:03:45 +0200] rev 17
Added convenient commands.
Eugen Sawin <sawine@me73.com> [Tue, 28 Jun 2011 14:49:59 +0200] rev 16
Multicolumn lists.
Eugen Sawin <sawine@me73.com> [Tue, 28 Jun 2011 14:45:02 +0200] rev 15
Multicolumn lists.
Eugen Sawin <sawine@me73.com> [Tue, 28 Jun 2011 00:16:13 +0200] rev 14
Some more LTL content.
Eugen Sawin <sawine@me73.com> [Mon, 27 Jun 2011 19:16:05 +0200] rev 13
First part of LTL.
Eugen Sawin <sawine@me73.com> [Thu, 23 Jun 2011 01:22:53 +0200] rev 12
Dont remember.