Kurt Pagani

Here is a docker image (pure_complete_ppa), giving evidence (BTW) that the problem is solved ;-) https://hub.docker.com/r/nilqed/pure_complete_ppa/

The deb version apparently doesn't send the texmacs ESC codes ...  whereas one expects `verbatim:prompt#>`?  I reported this on behalf of some colleagues, and when compiled from scratch,...

As you please; as far as I'm concerned, it is settled. Many thanks Albert! On 07.08.2022 02:35, Albert Graef wrote: > Reopening because the issue provides useful instructions on how...

There is some misconception in your code. In the header (before exports) you should not use "::,@ ..." for obvious reasons. IMO the right approach is to provide the required...

Meanwhile I've seen more than a dozen of installations on various machines (Win7 and Win10) and didn't notice any unusual delay. Admittedly, it starts a bit quicker on Win7 but...

> * fricas (because I've been explicitly asked to fix its support in Cygwin before) That would be fine :) Either because of the sage-fricas interface and/or because there is...

On 22.01.2018 15:23, Erik Bray wrote: > @nilqed > > So, using the Sage installer on Windows would > provide Windows users besides sage with a 64-bit fricas as well...

On 22.01.2018 15:25, Erik Bray wrote: > @nilqed > > How did you get fricas working? Find my ordeal below > > IIRC |sage -i fricas| works fine on Sage...