[Logiweb] New pyk compiler

[Klaus Ebbe Grue]

Hi logiweb at diku.dk

A new version of the pyk compiler is available at 
/home/disk07/grue/logiweb/20050526/bin/pyk

The old version is still available at
/home/disk07/grue/logiweb/20050502/bin/pyk

The main difference is that the new version can handle *much* larger pyk 
source files than the old one. The old one can load the 'base' and the new 
'check' page but cannot re-translate them. The new one can translate them 
both.

To use the new version, ensure that $PATH contains both 
/home/disk07/grue/logiweb/20050526/bin and
/home/disk07/grue/logiweb/20050502/bin in that order.

That will make Unix look in 20050526 before 20050502 so that
   which pyk
gives
   /home/disk07/grue/logiweb/20050526/bin/pyk
whereas
   which logiweb
still gives
   /home/disk07/grue/logiweb/20050502/bin/logiweb

Klaus