Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 17:39:08 +0200] rev 39
More free text.
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 16:06:35 +0200] rev 38
Some free text.
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 13:43:09 +0200] rev 37
Some free text.
Eugen Sawin <sawine@me73.com> [Tue, 12 Jul 2011 02:49:15 +0200] rev 36
First introduction draft.
Eugen Sawin <sawine@me73.com> [Mon, 11 Jul 2011 16:25:01 +0200] rev 35
Some improving.
Eugen Sawin <sawine@me73.com> [Mon, 11 Jul 2011 03:04:11 +0200] rev 34
Progressed in on-the-fly methods.
Eugen Sawin <sawine@me73.com> [Sun, 10 Jul 2011 00:42:42 +0200] rev 33
New abstract.
Eugen Sawin <sawine@me73.com> [Sun, 10 Jul 2011 00:35:46 +0200] rev 32
New abstract.h
Eugen Sawin <sawine@me73.com> [Sun, 10 Jul 2011 00:02:03 +0200] rev 31
Started with on-the-fly methods.
Eugen Sawin <sawine@me73.com> [Sat, 09 Jul 2011 21:14:09 +0200] rev 30
Finished model checking.