From: Jim <jim.pryor@nyu.edu>
Date: Tue, 24 Mar 2015 21:52:46 +0000 (-0400)
Subject: Revert "update untyped_eval to 1.6"
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c020d523d552a2d118e8a28688c84438c0437e35;hp=b1a9ae3f1c5cdf961f19e60fc352eb5dfea480b4

Revert "update untyped_eval to 1.6"

This reverts commit b1a9ae3f1c5cdf961f19e60fc352eb5dfea480b4.
---

diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml
index 89776bbd..a60b2a1d 100644
--- 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-1.6.tgz
+   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.5.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 138f51c8..f61f7008 100644
--- 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-1.6.tgz
+   This is a simplified version of the code at http://lambda.jimpryor.net/code/untyped_full-1.5.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-1.6.tgz b/code/untyped_full-1.6.tgz
deleted file mode 100644
index c1f3ba3d..00000000
Binary files a/code/untyped_full-1.6.tgz and /dev/null differ
diff --git a/topics/week7_untyped_evaluator.mdwn b/topics/week7_untyped_evaluator.mdwn
index 19c884c2..f18bdc69 100644
--- a/topics/week7_untyped_evaluator.mdwn
+++ b/topics/week7_untyped_evaluator.mdwn
@@ -310,7 +310,7 @@ In later weeks, we will see more examples of results that aren't terms, but can
 Getting, reading, and compiling the source code
 -----------------------------------------------
 
-You can download the source code for the intepreter [[here|/code/untyped_full-1.6.tgz]]. That link will always give you the latest version. We will update it as we find any issues. Let us know about any difficulties you experience.
+You can download the source code for the intepreter [[here|/code/untyped_full-1.5.tgz]]. That link will always give you the latest version. We will update it as we find any issues. Let us know about any difficulties you experience.
 
 When you unpack the downloaded source code, you will get a folder with the following contents, sorted here by logical order rather than alphabetically.