X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda.js;h=c28a0c17223e34e874dde5472a63c19450168125;hp=4b684f4eeb22d9ff3da97828003fa732d5fdcd16;hb=5fe4a9a81d08d8c8fd7b2f23dd9cfd7b7ed0182c;hpb=3a5bbeb0ce1de37b0203e7c0efc2062608a9827c

diff --git a/lambda.js b/lambda.js
index 4b684f4e..c28a0c17 100644
--- a/lambda.js
+++ b/lambda.js
@@ -145,6 +145,7 @@ function stringToTree(input) {
   input = input.replace(/in/g, " ) ");
   input = input.replace(/\(/g, " ( ");
   input = input.replace(/\)/g, " ) ");
+  input = input.replace(/;.*\n/g," ");
   input = input.replace(/\^/g, " ^ ");
   input = input.replace(/[\\]/g, " lambda ");
   input = input.replace(/\u03BB/g, "lambda");
@@ -158,6 +159,7 @@ function formatTree(tree) {
   output = output.replace(/[ \f\n\r\t\v]+$/, "");
   output = output.replace(/[ \f\n\r\t\v]+\)/g, ")");
   output = output.replace(/\)([^)(])/g, ") $1");
+  output = output.replace(/lambda/g, "\\");
 //  output = output.replace(/lambda/g, "\u03BB");
 //  output = output.replace(/exists/g, "\u2203");
 //  output = output.replace(/forall/g, "\u2200");