Project

General

Profile

Activity

From 15 Dec 2022 to 13 Jan 2023

01 Jan 2023

12:52 Design #1698: indent: return a string?
Are these changes checked in?
[I think probably not yet]
John Abbott
12:38 Feature #1718 (Resolved): FactorINT with time-out
Implemented (but see also issue #1719).
Remaining question: fn name, currently *@FactorINT_TimeOut@* (see discussi...
John Abbott

16 Dec 2022

17:07 Feature #1718 (In Progress): FactorINT with time-out
My first thought was to let @FactorINT@ accept an optional second arg: this is more-or-less what the CoCoALib impl do... John Abbott
17:04 Feature #1718 (Closed): FactorINT with time-out
I have found it useful to be able to impose a time-out on @FactorINT@ calls.
I already have a first impl which seems...
John Abbott
 

Also available in: Atom