Replacement Aven executable for Windows

Mark Shinwell Mark.Shinwell@cl.cam.ac.uk
Thu, 14 Jun 2001 14:06:27 +0100


Hi

You can obtain an Aven 0.97pr5 executable for Windows which doesn't have the
About box problem from:

	http://mrs30.quns.cam.ac.uk/aven.zip

(495k download).  This can serve as a stopgap before the next prerelease
comes out.

You need to copy the new executable over the old one after installing
Survex 0.97 prerelease 5 or it won't work.

Mark

-- 
Mark Shinwell -- http://mrs30.quns.cam.ac.uk/ -- Mark.Shinwell@cl.cam.ac.uk
Theory and Semantics Group, University of Cambridge Computer Laboratory