Re: a testcase where we had existentials in the conclusion

On Sat, 2003-03-01 at 16:15, Jos De_Roo wrote:
[...]
> PS tested with a previous cwm as the latest cwm on my laptop gives
> Traceback (most recent call last):
>   File "/w3ccvs/WWW/2000/10/swap/cwm.py", line 58, in ?
>     import LX.engine.llynInterface
>   File "/w3ccvs/WWW/2000/10/swap\LX\engine\llynInterface.py", line 18, in ?
>     import LX.uri
> ImportError: No module named uri

try:

% cvs update -d LX

You're not the first to trip over this.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/