https://cflmark.nms.kcl.ac.uk/hg/regexp/ en-us regexp: utm/IsaMakefile history utm/IsaMakefile revision history Initial upload of the formal construction of Universal Turing Machine. https://cflmark.nms.kcl.ac.uk/hg/regexp/log/1ce04eb1c8ad/utm/IsaMakefile zhang Sat, 29 Sep 2012 12:38:12 +0000