7 Dec
2008
7 Dec
'08
1:56 p.m.
Zhichu Chen wrote:
Hi,
I've searched the list and it seems that no one has been occurred to my problem.
Has the javascript interface gone? 'cause I failed the following
No, just bugged. Hans ran into that himself yesterday, actually. I cannot look up the actual fix from here, but it comes down to a pretty simple catcode mixup. Hans will probably post it sometime tomorrow. Best wishes, Taco