On Wed, 7 Feb 2007, Hans Hagen wrote: > Wolfgang Schuster wrote: >> On Tue, 6 Feb 2007 10:36:42 -0500 (EST) >> Aditya Mahajan <[EMAIL PROTECTED]> wrote: >> >> >>> On Tue, 6 Feb 2007, Hans Hagen wrote: >>> >>> >>>> Aditya Mahajan wrote: >>>> >>>>>> Can someone suggest a better way to do this? >>>>>> >>>>>> >>>>> I found another way, I hope that it has no gotcha's >>>>> >>>>> >>>> search for group(ed)(empty|argument) in cont-sys.tex >>>> >>> Did you mean syst-gen.tex? I tied dodoublegroupempty but it did not >>> work in one case (see previous post) and I can not figure out why. >>> >>> Aditya >>> >> >> Hi Aditya, >> >> I tried something similiar and copied a example from core-rul.tex >> >> [snip] >> >> Hans, can you give us a hint what we are doing wrong or can you make a >> simple example to show us how we can create optional arguments between >> braces. >> > the magic is in \permitspacesbetweengroups
Magic indeed. It works for my case also. I will post an improved theorem macors to make use of this magic. Aditya _______________________________________________ ntg-context mailing list ntg-context@ntg.nl http://www.ntg.nl/mailman/listinfo/ntg-context
