[plt-scheme] lc-with-redex

From: Jos Koot (jos.koot at telefonica.net)
Date: Tue Jun 9 13:55:47 EDT 2009

Hi Eli,
Thanks very much for the help. Most links work. I did check most of them. The links to miu-puzzle.ss and miu-traces.ss are not 
found, but that probably is be a mismatch between upper and lower case. The  .doc file contained lnks to MIU-puzzle.ss and 
MIU-traces.ss, but the filenames are in lowercase.  I have changed the links to lower case in the .doc file and uploaded it to to 
the zipfile.  http://telefonica.net/web2/koot/lc-with-redex.zip. I tried to install the plugin, but it does work for office-2003 (as 
is indicated on the download page the plugin applies to 2007 applications)
Thanks very much again, Jos

----- Original Message ----- 
From: "Eli Barzilay" <eli at barzilay.org>
To: "Jos Koot" <jos.koot at telefonica.net>
Cc: <plt-scheme at list.cs.brown.edu>
Sent: Tuesday, June 09, 2009 3:27 PM
Subject: Re: [plt-scheme] lc-with-redex

> On Jun  8, Jos Koot wrote:
>> Thanks for the conversions. I am overwhelmed by your friendly
>> responses. I have downloaded CutePDF. Did not know there was a free
>> converter. The converted pdf files do not recognize links links
>> within the document nor to local files, but I'll find a way to
>> circumvent that (I probably should write out the full urls) Anyway
>> there is now a pdf version at
>> http://telefonica.net/web2/koot/lc-with-redex.pdf A version with
>> correct hyperlinks is to come today or tomorrow.  [...]
> I had a look at the recently generated PDF, and it had some issues
> with fonts and line wrapping.  Getting a PDF from Word is easy with
> the right MS plugin (IIRC, it's the one at
> http://office.microsoft.com/en-us/word/HA101675271033.aspx), so I did
> it and put the result at
>  http://tmp.barzilay.org/LC-with-Redex/LC-with-Redex.pdf
> The rest of your files are there too, mainly to see that the relative
> links work fine.
> -- 
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                  http://www.barzilay.org/                 Maze is Life!

Posted on the users mailing list.