j
k
j a
j l
OK -- I fixed it by changing open1 to open and dropping the argument Goal. This seems to work.
Again thanks for your help.
Mike
Show replies by date
ciao-users@cliplab.org
Add to favorites Remove from favorites