hermann on Sun, 17 Sep 2023 20:21:17 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Release of PariDroid-2.15.3.2.3 

On 2023-07-05 11:51, Andreas Enge wrote:

Hello,

we are pleased to announce the release of PariDroid version 2.15.3.2.3,
which has been compiled with the newest PARI/GP version 2.15.3.
It also implements a fix for a bug which prevented reading files
containing GP scripts.


Report of a small bug.

Start PariDroid newly.
Input any for... command and press enter.
You will see
? command
Output

Without a final?
Now enter ## to report last command runtime.
You get notified that command history is empty.
Repeat the command und correct runtime gets reported.

Regards,

Hermann