lexing: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 25 Sep 2014 14:41:06 +0100] rev 13

fixed the scala implementation

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

lexing