Correction to new system, alas.
I wrote, last night:
> If anyone would like to install the whole poplog system with the
> compiler fix already included, along with the Birmingham extensions,
> this file is available for downloading:
>
> http://www.cs.bham.ac.uk/research/poplog/bham-linux-poplog.tar.gz
> It's about 21 Mbytes.
>
> After untarring it you'll find two scripts available for installing,
> INSTALL_EVERYTHING_WITH_MOTIF
> INSTALL_EVERYTHING_WITHOUT_MOTIF
>
> as described in the file
> SHORT-CUT-INSTALLATION.txt
>
> Each of the scripts can be run with an argument giving an installation
> directory. If omitted it defaults to /usr/local/poplog, as before.
Unfortunately I forgot to include the previously announced fixes for
ved/XVed key bindings in this version (comes of time-sharing this
with too many other things).
Anyhow, I have now rebuilt the tar file with the fixes. If anyone has
already downloaded it since my previous posting, but does not wish to
get all 21 Mbytes again, then
1. If you have not yet installed the new version, and have a fast
internet connection, the easiest thing is to fetch this file
http://www.cs.bham.ac.uk/research/poplog/new/linux-poplog.tar.gz
(about 13 mbytes)
and replace the file with the same name in the linux-poplog
subdirectory, after untarring the big file. Then continue with
installation as instructed.
(or re-install over the previous installation).
If you have already installed the new system, and just want to insert
the new stuff for Ved/Xved then get this small file:
http://www.cs.bham.ac.uk/research/poplog/src/new/newved.tar.gz
33243 bytes Jul 27 18:03
And do the following to insert in the poplog installation:
cd $usepop/pop
untar the file:
tar xfz ......./newved.tar.gz
then run commands to rebuild saved images. E.g. to rebuild the
system saved images do
cd $popcom
./mkstartup
./mkxved
./mkplog
./mkclisp
./mkpml
If you have Birmingham local libraries you can do this:
# remove or move old version of vedxtermkeys.p
mv $poplocal/local/auto/vedxtermkeys.p /tmp
cd $poplocal/local/com
./mkstartup.local
./mkxved.local
./mkplog.local
./mkclisp.local
./mkpml.local
To make the dumb terminal Ved work properly in an Xterm window
copy the relevant portion of the new file HELP Xdefaults
(17 lines) into your .Xdefaults, then do this
xrdb .Xdefaults
and then start a new xterm window in which to run Ved.
=======================================================================
Thanks to Steve Isard for checking out my earlier changes. I had
some correspondence with him suggesting more things to add to
the default keybindings, but have not yet done that.
Aaron
====
Aaron Sloman, ( http://www.cs.bham.ac.uk/~axs/ )
School of Computer Science, The University of Birmingham, B15 2TT, UK
EMAIL A.Sloman AT cs.bham.ac.uk (ReadATas@please !)
PAPERS: http://www.cs.bham.ac.uk/research/cogaff/ (And free book on Philosophy of AI)
FREE TOOLS: http://www.cs.bham.ac.uk/research/poplog/freepoplog.html
|