| Tue, 12 Jul 2011 23:52:07 +0200 | Tired. | file | diff | annotate |
| Tue, 12 Jul 2011 22:38:25 +0200 | Discussion draft. | file | diff | annotate |
| Tue, 12 Jul 2011 22:20:53 +0200 | Discussion draft. | file | diff | annotate |
| Tue, 12 Jul 2011 17:54:45 +0200 | More free text. | file | diff | annotate |
| Tue, 12 Jul 2011 17:39:08 +0200 | More free text. | file | diff | annotate |
| Tue, 12 Jul 2011 16:06:35 +0200 | Some free text. | file | diff | annotate |
| Tue, 12 Jul 2011 13:43:09 +0200 | Some free text. | file | diff | annotate |
| Tue, 12 Jul 2011 02:49:15 +0200 | First introduction draft. | file | diff | annotate |
| Mon, 11 Jul 2011 16:25:01 +0200 | Some improving. | file | diff | annotate |
| Mon, 11 Jul 2011 03:04:11 +0200 | Progressed in on-the-fly methods. | file | diff | annotate |
| Sun, 10 Jul 2011 00:42:42 +0200 | New abstract. | file | diff | annotate |
| Sun, 10 Jul 2011 00:35:46 +0200 | New abstract.h | file | diff | annotate |
| Sun, 10 Jul 2011 00:02:03 +0200 | Started with on-the-fly methods. | file | diff | annotate |
| Sat, 09 Jul 2011 21:14:09 +0200 | Finished model checking. | file | diff | annotate |
| Sat, 09 Jul 2011 15:48:37 +0200 | Beginning model checking. | file | diff | annotate |
| Sat, 09 Jul 2011 03:48:35 +0200 | Program automata construction. | file | diff | annotate |
| Fri, 08 Jul 2011 14:54:53 +0200 | Abstract draft. | file | diff | annotate |
| Fri, 08 Jul 2011 14:53:15 +0200 | Abstract draft. | file | diff | annotate |
| Thu, 30 Jun 2011 20:45:45 +0200 | Begin with model checking. | file | diff | annotate |
| Thu, 30 Jun 2011 19:08:30 +0200 | Begin with model checking. | file | diff | annotate |
| Thu, 30 Jun 2011 18:00:04 +0200 | Less prolo symbols. | file | diff | annotate |
| Thu, 30 Jun 2011 17:35:02 +0200 | Finished automata construction. | file | diff | annotate |
| Thu, 30 Jun 2011 02:06:23 +0200 | Started with automata construction. | file | diff | annotate |
| Wed, 29 Jun 2011 18:56:22 +0200 | Layout and stuff. | file | diff | annotate |
| Wed, 29 Jun 2011 18:39:07 +0200 | Layout and stuff. | file | diff | annotate |
| Wed, 29 Jun 2011 00:11:59 +0200 | Nothing. | file | diff | annotate |
| Tue, 28 Jun 2011 22:03:45 +0200 | Added convenient commands. | file | diff | annotate |
| Tue, 28 Jun 2011 14:49:59 +0200 | Multicolumn lists. | file | diff | annotate |
| Tue, 28 Jun 2011 14:45:02 +0200 | Multicolumn lists. | file | diff | annotate |
| Tue, 28 Jun 2011 00:16:13 +0200 | Some more LTL content. | file | diff | annotate |
| Mon, 27 Jun 2011 19:16:05 +0200 | First part of LTL. | file | diff | annotate |
| Thu, 23 Jun 2011 01:22:53 +0200 | Dont remember. | file | diff | annotate |
| Wed, 22 Jun 2011 20:06:27 +0200 | Added some automata definitions. | file | diff | annotate |
| Tue, 14 Jun 2011 01:36:04 +0200 | Minor stuff. | file | diff | annotate |
| Wed, 01 Jun 2011 18:53:27 +0200 | Minore restruct. | file | diff | annotate |
| Wed, 01 Jun 2011 11:18:05 +0200 | Some more regular definitions. | file | diff | annotate |
| Tue, 31 May 2011 03:48:36 +0200 | Added some omega-languages definitions. | file | diff | annotate |
| Sun, 29 May 2011 19:36:23 +0200 | Sans-serif complex. | file | diff | annotate |
| Sun, 29 May 2011 03:34:06 +0200 | Layout and title. | file | diff | annotate |
| Sat, 28 May 2011 18:31:12 +0200 | Not much. | file | diff | annotate |
| Sat, 28 May 2011 01:43:28 +0200 | Minor stuff. | file | diff | annotate |
| Sat, 28 May 2011 00:48:18 +0200 | Initial layout. | file | diff | annotate |
| Fri, 27 May 2011 22:52:44 +0200 | Added comments file. | file | diff | annotate |
| Fri, 27 May 2011 20:54:16 +0200 | Initial. | file | diff | annotate |