lexing: Changelog

fahadausaf <fahad.ausaf@icloud.com> [Mon, 22 Sep 2014 14:57:02 +0100] rev 12

Delete POSIX_ALT2

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 14:01:01 +0100] rev 11

changed theory name

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 12:54:03 +0100] rev 10

added test version

fahadausaf <fahad.ausaf@icloud.com> [Wed, 10 Sep 2014 12:37:43 +0100] rev 9

commit by fahad

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 09 Sep 2014 05:12:01 +0100] rev 8

started a few arguments for the ALT case

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 21:13:36 +0100] rev 7

cleaned up the theory

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 16:36:13 +0100] rev 6

getting back the original version by Sulzmann

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 14:06:15 +0100] rev 5

initial version of the theory

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 03 Sep 2014 14:59:45 +0100] rev 4

added Crashcourse paper to literature

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Aug 2014 14:10:58 +0100] rev 3

added all toy implementations

lexing