Merge branch 'working'

* working:
  symlink doesn't work

diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml
index 6ebc7b6..158b00a 100644 (file)
--- a/code/untyped_evaluator.ml
+++ b/code/untyped_evaluator.ml
@@ -1,5 +1,5 @@
 (*
-   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full.tgz
+   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.3.tgz
    You can use this code as follows:
 
    1. First, use a text editor to fill in the (* COMPLETE THIS *) portions.

diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml
index c3cafc3..89962e3 100644 (file)
--- a/code/untyped_evaluator_complete.ml
+++ b/code/untyped_evaluator_complete.ml
@@ -1,5 +1,5 @@
 (*
-   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full.tgz
+   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.3.tgz
    You can use this code as follows:
 
    1. First, use a text editor to fill in the (* COMPLETE THIS *) portions.

diff --git a/code/untyped_full.tgz b/code/untyped_full.tgz
deleted file mode 120000 (symlink)
index f3e7280..0000000
--- a/code/untyped_full.tgz
+++ /dev/null
@@ -1 +0,0 @@
-untyped_full-1.3.tgz
\ No newline at end of file