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
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 13:36:35 +0000] rev 187
polished some typos in the paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 05:11:33 +0000] rev 186
added link and comment to fourth edition of Boolos
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:56:33 +0000] rev 185
added clear-definition to paper