Quoting Waldek Hebisch (2021-04-27 20:25:42)
> On Tue, Apr 27, 2021 at 10:45:21PM +0200, Ralf Hemmecke wrote:
> > Without looking deeper into your snippet... is there a good reason that
> > you must first run some stuff in the session, then compile something and
> > later continue with your
Le dim. 2 mai 2021 à 21:13, Waldek Hebisch a écrit :
>
> On Sun, May 02, 2021 at 01:13:18PM +0200, Gr??gory Vanuxem wrote:
> > Hi here, Hi Waldek,
> >
> > Waldek, what do you think of allowing, via an user option in command
> > line arguments
> > say, '--no-banner', to suppress the banner at
On 02.05.21 21:02, Waldek Hebisch wrote:
> On Sun, May 02, 2021 at 11:29:44AM -0400, Bill Page wrote:
>> Ralf's proposed patch for FormatMathJax allows much more than just support
>> of Unicode-like symbols. There are many cases when one might want to use a
>> small but otherwise arbitrary LaTeX
On Sun, May 02, 2021 at 01:13:18PM +0200, Gr??gory Vanuxem wrote:
> Hi here, Hi Waldek,
>
> Waldek, what do you think of allowing, via an user option in command
> line arguments
> say, '--no-banner', to suppress the banner at startup to better
> interface FriCAS to different frontends?
Could be
On Sun, May 02, 2021 at 11:29:44AM -0400, Bill Page wrote:
> Ralf's proposed patch for FormatMathJax allows much more than just support
> of Unicode-like symbols. There are many cases when one might want to use a
> small but otherwise arbitrary LaTeX fragment as a more sophisticated way to
>
On 02.05.2021 17:29, Bill Page wrote:
> Ralf's proposed patch for FormatMathJax allows much more than just support of
> Unicode-like symbols. There are many cases when one might want to use a small
> but otherwise arbitrary LaTeX fragment as a more sophisticated way to
> represent
> some symbol.
Ralf's proposed patch for FormatMathJax allows much more than just support
of Unicode-like symbols. There are many cases when one might want to use a
small but otherwise arbitrary LaTeX fragment as a more sophisticated way to
represent some symbol.
On Sun, May 2, 2021 at 10:00 AM Ralf Hemmecke
Waldek,
Your message was not clear whether or not you want me to commit this to
FriCAS.
On 02.05.21 04:22, Waldek Hebisch wrote:
> That breaks normal rules:
Sorry, I haven't seen any documented rules about this.
> OutputForm is supposed to give equivalent
> output for all formatters.
You've
Hi here, Hi Waldek,
Waldek, what do you think of allowing, via an user option in command
line arguments
say, '--no-banner', to suppress the banner at startup to better
interface FriCAS to different frontends?
This could be done for example via the fricas script which sends to FRICASsys
the