CoCoA Project

03 Nov 2022

14:31 CoCoALib Bug #1705: ProgressReporter: prepare for new loop?

John Abbott wrote:
> A likely cause is that the frequency of proper time checks is too low (because of the very fast... Anna Maria Bigatti

21 Oct 2022

16:01 CoCoALib Design #1704 (New): Symlink directory for external files needed by CoCoA-5

Mimic @ExternalLibs/@ directory (Feature #573) for making symlinks to libraries needed only by CoCoA-5. Anna Maria Bigatti

15:53 CoCoA-5 Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi)

Added Feature #1701: could be a good source of ideas to be refined, tested, documented, developed. Anna Maria Bigatti

19 Oct 2022

14:23 CoCoA-5 Design #1698: indent: return a string?

It has to be said that having indent returning a string would be more compatibile with the functions *@format@* and *... Anna Maria Bigatti

14:06 CoCoA-5 Design #1698: indent: return a string?

Anna Maria Bigatti wrote:
> now that I'm using it, I'm having compatibility problems with the rest of the world stil... Anna Maria Bigatti

13:52 CoCoA-5 Design #1698: indent: return a string?

now that I'm using it, I'm having compatibility problems with the rest of the world still with earlier versions.
So ... Anna Maria Bigatti

14 Oct 2022

16:51 CoCoALib Slug #701 (Rejected): Makefile; limit dependencies on external libs

John Abbott wrote:
> doing this correctly would require considerable effort, and the likely benefit little and sel... Anna Maria Bigatti

12:32 CoCoALib Support #1700: boost_1_80_0

I still have some warnings, but it compiles and works fine... Anna Maria Bigatti

10:18 CoCoALib Support #1700: boost_1_80_0

Problems with... Anna Maria Bigatti

10:16 CoCoALib Support #1700 (Closed): boost_1_80_0

Problems and solutions Anna Maria Bigatti

10:31 CoCoA-5 Design #1697: Specifying BOOST in configure

It seems that -Bstatic works only for linux... Anna Maria Bigatti

10:26 CoCoA-5 Design #1697: Specifying BOOST in configure

I would change @--with-boost@ with @--with-boost-hdrs@ or @--with-boost-incdir@ (or similar) to highlight that for bo... Anna Maria Bigatti

10:11 CoCoALib Design #933: Separate configure scripts for CoCoALib and CoCoA-5

Anna Maria Bigatti wrote:
> I'd rather not.
> First of all, it works as it is.
> Secondly, CoCoALib and CoCoA-5 ar... Anna Maria Bigatti

12 Oct 2022

09:22 CoCoALib Design #1677: release-source script: use shell globbing?

John Abbott wrote:
> I'm convinced by the "preserve" flag change already made.
I agree
> I am unconvinced by s... Anna Maria Bigatti