14 Mar
2005
14 Mar
'05
3:40 p.m.
Douglas Gregor wrote:
Thanks! I've committed the fix. My apologies for the delay.
And my apologies for not handling this issue before. But.. the reason I did not immediately replied is that I don't know how to fix that file! It's generated from transitive_closure.w and last time I asked, Jeremy said he's using some *modified* version of jweb to process the file. We need to either make the file work with standard jweb, or decide to drop the .w file. - Volodya