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.
Eugen Sawin <sawine@me73.com> [Wed, 22 Jun 2011 20:06:27 +0200] rev 11
Added some automata definitions.
Eugen Sawin <sawine@me73.com> [Tue, 14 Jun 2011 01:36:04 +0200] rev 10
Minor stuff.
Eugen Sawin <sawine@me73.com> [Wed, 01 Jun 2011 18:53:27 +0200] rev 9
Minore restruct.
Eugen Sawin <sawine@me73.com> [Wed, 01 Jun 2011 11:18:05 +0200] rev 8
Some more regular definitions.
Eugen Sawin <sawine@me73.com> [Tue, 31 May 2011 03:48:36 +0200] rev 7
Added some omega-languages definitions.
Eugen Sawin <sawine@me73.com> [Sun, 29 May 2011 19:36:23 +0200] rev 6
Sans-serif complex.