From 1ade8f95e78edb0b7dcfd98ad46152d9ad5961b3 Mon Sep 17 00:00:00 2001 From: Jim Date: Mon, 23 Mar 2015 20:51:02 -0400 Subject: [PATCH] symlink doesn't work --- code/untyped_evaluator.ml | 2 +- code/untyped_evaluator_complete.ml | 2 +- code/untyped_full.tgz | 1 - 3 files changed, 2 insertions(+), 3 deletions(-) delete mode 120000 code/untyped_full.tgz diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml index 6ebc7b6b..158b00a5 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.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 c3cafc35..89962e36 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.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 index f3e72809..00000000 --- a/code/untyped_full.tgz +++ /dev/null @@ -1 +0,0 @@ -untyped_full-1.3.tgz \ No newline at end of file -- 2.11.0