tm: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 12:47:03 +0000] rev 197

added an al

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 25 Feb 2013 23:57:25 +0000] rev 196

corrected README

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 25 Feb 2013 15:12:48 +0000] rev 195

tuned

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 22 Feb 2013 14:31:34 +0000] rev 194

updated Scala files

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 16:07:40 +0000] rev 193

split up scala-file into separate components

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 14:49:26 +0000] rev 192

introduced sealed classes

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 14:27:14 +0000] rev 191

compilation from Abacus to Turing in Scala

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 05:34:39 +0000] rev 190

renamed sete definition to adjust and old special case of adjust to adjust0

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 05:33:57 +0000] rev 189

parts of the Abacus translation

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 00:34:41 +0000] rev 188

tuned Scala implementation