ending sets in cwm

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

ending sets in cwm

rzeno-2
hi,

can somebody tell me, please, if the patch [1], about ending sets in
$) and $}, will be applied or rejected.

http://lists.w3.org/Archives/Public/public-cwm-bugs/2012Feb/0000.html

thank you and best regards

Reply | Threaded
Open this post in threaded view
|

Re: ending sets in cwm

Tim Berners-Lee
Sorry for the delay.
patched into latest version

$ cvs commit -m "Patch sets syntax buig see http://lists.w3.org/Archives/Public/public-cwm-bugs/2012Feb/0000.html thanks rzeno" notation3.py
Checking in notation3.py;
/w3ccvs/WWW/2000/10/swap/notation3.py,v  <--  notation3.py
new revision: 1.203; previous revision: 1.202
done

KUTGW

Tim

On 2012-09 -10, at 15:31, rzeno wrote:

> hi,
>
> can somebody tell me, please, if the patch [1], about ending sets in
> $) and $}, will be applied or rejected.
>
> http://lists.w3.org/Archives/Public/public-cwm-bugs/2012Feb/0000.html
>
> thank you and best regards
>
>