Is it possible to customize what @var does (for info files) without
redefining @var?
Maxima redefines @var to
@macro var {expr}
<\expr\>
@end macro
This breaks things like
@table @var
So I'm curious if there's some way to customize @var without defining it.
--
Ray
On Tue, Sep 20, 2022 at 04:31:08PM -0700, Raymond Toy wrote:
> Is it possible to customize what @var does (for info files) without
> redefining @var?
> Maxima redefines @var to
>
> @macro var {expr}
> <\expr\>
> @end macro
This is not recommended, and could even be forbidden, in my opinion, to
re
On Tue, Sep 20, 2022 at 04:31:08PM -0700, Raymond Toy wrote:
> Is it possible to customize what @var does (for info files) without
> redefining @var?
> Maxima redefines @var to
>
> @macro var {expr}
> <\expr\>
> @end macro
>
> This breaks things like
>
> @table @var
One possibility could be to
On Sat, Sep 24, 2022 at 2:07 AM Patrice Dumas wrote:
> On Tue, Sep 20, 2022 at 04:31:08PM -0700, Raymond Toy wrote:
> > Is it possible to customize what @var does (for info files) without
> > redefining @var?
> > Maxima redefines @var to
> >
> > @macro var {expr}
> > <\expr\>
> > @end macro
>
> T
On Sat, Sep 24, 2022 at 2:07 AM Patrice Dumas wrote:
> On Tue, Sep 20, 2022 at 04:31:08PM -0700, Raymond Toy wrote:
> > Is it possible to customize what @var does (for info files) without
> > redefining @var?
> > Maxima redefines @var to
> >
> > @macro var {expr}
> > <\expr\>
> > @end macro
>
> T
On Sun, Sep 25, 2022 at 2:55 PM Raymond Toy wrote:
> someone wanted @var{foo}) to be instead of FOO. It's been that way for
> quite some time now.
I was somehow under the impression that the unnamed person was me, but
on reviewing the Git log, it looks like it was actually Vadim
Zhytnikov (co
On Sun, Sep 25, 2022 at 10:18:31PM -0700, Robert Dodier wrote:
> On Sat, Sep 24, 2022 at 2:07 AM Patrice Dumas wrote:
>
> > On Tue, Sep 20, 2022 at 04:31:08PM -0700, Raymond Toy wrote:
> > > Is it possible to customize what @var does (for info files) without
> > > redefining @var?
> > > Maxima re
On Sun, Sep 25, 2022 at 11:16:13PM -0700, Robert Dodier wrote:
> On Sun, Sep 25, 2022 at 2:55 PM Raymond Toy wrote:
>
> > someone wanted @var{foo}) to be instead of FOO. It's been that way
> > for quite some time now.
>
> I was somehow under the impression that the unnamed person was me, but
On Mon, Sep 26, 2022 at 9:17 AM Gavin Smith
wrote:
> On Sun, Sep 25, 2022 at 11:16:13PM -0700, Robert Dodier wrote:
> > On Sun, Sep 25, 2022 at 2:55 PM Raymond Toy
> wrote:
> >
> > > someone wanted @var{foo}) to be instead of FOO. It's been that
> way for quite some time now.
> >
> > I was som
