On Sun, May 15, 2022 at 02:59:53PM +0200, Ralf Hemmecke wrote:
> I was just wondering whether we still need to have the directory
> contrib/texmacs in the fricas repo. All these files have
>
> COPYRIGHT : (C) 1999, 2012 Joris van der Hoeven and Andrey Grozin
>
> and fall under GPL3+ and
You're right, there is not much that's not already integrated in TeXmacs. On the
other hand, as a frequent Tm user, I'd suggest to update the folder and even
considering to fill it with useful addons instead ;) There is no doubt, Tm has
dramatically improved in the past years and the fricas
I was just wondering whether we still need to have the directory
contrib/texmacs in the fricas repo. All these files have
COPYRIGHT : (C) 1999, 2012 Joris van der Hoeven and Andrey Grozin
and fall under GPL3+ and FriCAS is not actually distributing them in the
binary tarballs. I also do not
On Thursday, May 28, 2020 at 10:18:13 AM UTC-4, Ralf Hemmecke wrote:
>
> > Personally, I am rather working on removing HyperDoc from FriCAS and
> >> replacing it by other technology. You certainly already know
> >> fricas.github,io/api . That already contains a big part of what is in
> >>
> Personally, I am rather working on removing HyperDoc from FriCAS and
>> replacing it by other technology. You certainly already know
>> fricas.github,io/api . That already contains a big part of what is in
>> HyperDoc. My idea is to make that stuff also available for lokal use
>> without
On Wed, May 27, 2020, 2:32 PM Ralf Hemmecke wrote:
> Hi Kostas,
>
> >>> I am new to FriCAS, but not to TeXmacs. Could someone comment on
> >>> what is the current status of the TeXmacs interface? The most
> >>> recent posts on the subject seem to be back in 2018. Is the
> >>> interface still
Thank you for the detailed explanation.
At some point I had seen in the mailing list a patch that invoked sman
instead of Fricas from inside TeXmacs, and I remember trying it. This was a
couple of years ago. It almost worked, but not quite.
Anyhow, this whole HyperDoc issue may be immaterial in
Hi Kostas,
>>> I am new to FriCAS, but not to TeXmacs. Could someone comment on
>>> what is the current status of the TeXmacs interface? The most
>>> recent posts on the subject seem to be back in 2018. Is the
>>> interface still receiving attention or has it been abandoned and
>>> replaced by
On Wed, May 27, 2020 at 08:47:18AM -0700, Kostas Oikonomou wrote:
>
>
> On Monday, May 25, 2020 at 8:49:41 PM UTC-4, Waldek Hebisch wrote:
> >
> > On Mon, May 25, 2020 at 05:03:05PM -0700, Kostas Oikonomou wrote:
> >
> > > One question in particular: while the functionality of the interface is
On Monday, May 25, 2020 at 8:49:41 PM UTC-4, Waldek Hebisch wrote:
>
> On Mon, May 25, 2020 at 05:03:05PM -0700, Kostas Oikonomou wrote:
> > Hello,
> >
> > I am new to FriCAS, but not to TeXmacs. Could someone comment on what is
> > the current status of the TeXmacs interface? The most
On Mon, May 25, 2020 at 05:03:05PM -0700, Kostas Oikonomou wrote:
> Hello,
>
> I am new to FriCAS, but not to TeXmacs. Could someone comment on what is
> the current status of the TeXmacs interface? The most recent posts on the
> subject seem to be back in 2018. Is the interface still
Hello,
I am new to FriCAS, but not to TeXmacs. Could someone comment on what is
the current status of the TeXmacs interface? The most recent posts on the
subject seem to be back in 2018. Is the interface still receiving
attention or has it been abandoned and replaced by something else?
One
12 matches
Mail list logo