2013-02-27 added a coment about partial_function
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Feb 2013 01:32:53 +0000] rev 202
added a coment about partial_function
2013-02-26 syntactic convenience for recursive functions
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 23:44:57 +0000] rev 201
syntactic convenience for recursive functions
2013-02-26 added all recursive functions needed for the UF
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 17:39:47 +0000] rev 200
added all recursive functions needed for the UF
2013-02-26 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 17:38:37 +0000] rev 199
tuned
2013-02-26 tuned some files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 13:24:40 +0000] rev 198
tuned some files
2013-02-26 added an al
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Feb 2013 12:47:03 +0000] rev 197
added an al
2013-02-25 corrected README
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 25 Feb 2013 23:57:25 +0000] rev 196
corrected README
2013-02-25 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 25 Feb 2013 15:12:48 +0000] rev 195
tuned
2013-02-22 updated Scala files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 22 Feb 2013 14:31:34 +0000] rev 194
updated Scala files
2013-02-21 split up scala-file into separate components
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
2013-02-21 introduced sealed classes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 14:49:26 +0000] rev 192
introduced sealed classes
2013-02-21 compilation from Abacus to Turing in Scala
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
2013-02-21 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:34:39 +0000] rev 190
renamed sete definition to adjust and old special case of adjust to adjust0
2013-02-21 parts of the Abacus translation
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
2013-02-21 tuned Scala implementation
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 00:34:41 +0000] rev 188
tuned Scala implementation
2013-02-19 polished some typos in the paper
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
2013-02-19 added link and comment to fourth edition of Boolos
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
2013-02-19 added clear-definition to paper
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
2013-02-19 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:31:18 +0000] rev 184
added newer ROOT file
2013-02-18 updated exponent program
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 14:39:50 +0000] rev 183
updated exponent program
2013-02-18 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:33:00 +0000] rev 182
tuned
2013-02-18 removed unnecessary examples from Abacus.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:28:51 +0000] rev 181
removed unnecessary examples from Abacus.thy
2013-02-18 added abacus machines
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:26:27 +0000] rev 180
added abacus machines
2013-02-18 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 00:18:56 +0000] rev 179
tuned
2013-02-16 added some TM machines
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 16 Feb 2013 11:02:08 +0000] rev 178
added some TM machines
2013-02-16 added abacus programs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 16 Feb 2013 09:07:07 +0000] rev 177
added abacus programs
2013-02-15 added scala file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 18:24:00 +0000] rev 176
added scala file
2013-02-15 remove dead code in Abacus_mopup
Jian Xu [Fri, 15 Feb 2013 23:02:20 +0800] rev 175
remove dead code in Abacus_mopup
2013-02-15 tuning
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 14:07:39 +0000] rev 174
tuning
2013-02-15 split Mopup TM into a separate file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 14:05:26 +0000] rev 173
split Mopup TM into a separate file
(0) -100 -50 -30 +30 +50 tip