Ralf Hemmecke wrote:
>
> Hi Waldek,
>
> do you remember why you did this one?
>
> http://axiom.svn.sourceforge.net/viewvc/axiom/branches/wh-sandbox/src/hyper/pages/util.ht?r1=281&r2=306&pathrev=306
>
> I can understand that you reintroduced \spadsys, because it is used in
> https://github.com/hemmecke/fricas-svn/blob/master/src/doc/ht/gloss.text#L103
>
> But today I discovered that the generation of gloss.ht
> https://github.com/hemmecke/fricas-svn/blob/master/src/doc/Makefile.in#L264
> leads to something like this.
>
> --------cache---------
> Mismatch: left brace matches right pren
> Mismatch: left pren matches right brace
> Missing left pren
> Mismatch: left brace matches right pren
> Mismatch: left pren matches right brace
> Missing left pren
>
> Redefining
> https://github.com/hemmecke/fricas-svn/blob/master/src/doc/ht/util.ht#L437
> into
> \newcommand{\spadsyscom}[1]{{\tt )#1}}
> (i.e. adding ) in the command and removing it from everywhere else would
> make the Mismatch go away. (And it would anyway be better not to repeat
> the ")" when we have \spadsys.)
I do not remember the exact problem, but there were one. It is
possible that one could make working definition of '\spadsyscom'
with paren inside, but in general I find such approach error
prone and confusing: as a general principle I am trying to have
"the same thing" expressed in the same way even if in different
context. So commands in .ht files should look like commands
on command line. That is why repeating ')' is better.
IIUC the 'Mismatch:' lines are just warnings. While some people
would like to eliminate all warnings in this case it is not
feasible: they are warnings exactly because typically they are
errors but in rare cases the usage is correct.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
