lexing: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 06 Oct 2014 15:24:41 +0100] rev 20

some small changes

fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 14:22:13 +0100] rev 19

abc

fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 13:44:27 +0100] rev 18

fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 13:43:28 +0100] rev 17

multiply 2

fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 12:00:46 +0100] rev 16

associative-commutative

fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 11:46:23 +0100] rev 15

multiply

fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 11:17:46 +0100] rev 14

calculator

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

lexing