Project

General

Profile

Activity

From 07 Oct 2022 to 05 Nov 2022

04 Nov 2022

16:02 Support #1393: GUI with Qt5
*Anna*
Could you check Ulrich's changelog in note-28 above.
He has made some changes regarding BOOST and @no-pie@
...
John Abbott
11:47 Support #1393: GUI with Qt5
Ulrich, maybe it is simpler to send me a tar.gz of your configuration directory...
John Abbott
11:21 Support #1393: GUI with Qt5
I am having trouble with the patch file. Many failed.
I'll email you my current sources, and hope you can produce a...
John Abbott

02 Nov 2022

10:33 Bug #1708: Linux: just 1 executable, should be 2 (with & without readline)
We had already discussed this about 2 years ago (issue #1479)
The script is ready to handle the case of 2 executable...
John Abbott
10:31 Bug #1708 (New): Linux: just 1 executable, should be 2 (with & without readline)
We are distributing CoCoA-5 with just a single executable (with readline).
We should be distributing 2 versions: one...
John Abbott

01 Nov 2022

22:02 Support #1707: User forum?
Indirectly suggested in email from Michael Wijaya (2022-11-01).
The idea seems good to me. MW indicated that send...
John Abbott
21:59 Support #1707 (New): User forum?
Should we make a user forum where CoCoA-5 users can post questions when they have problems?
John Abbott

24 Oct 2022

09:41 Support #1393: GUI with Qt5
Thanks, Ulrich!
I hope to look at this during the week. I had already made several changes regarding BOOST, so I'll...
John Abbott
08:55 Support #1393: GUI with Qt5
As a test I built the GUI successfully on OpenBSD.
The process exposed also several several minor issues with the ...
Ulrich von der Ohe

21 Oct 2022

15:53 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
15:50 Feature #1701: Preliminary packages
Created new directory: *@src/CoCoA-5/packages/preliminary/@*
We'll think about documentation later...
John Abbott
15:25 Feature #1701 (In Progress): Preliminary packages
Anna approves the idea (in a nebulous way).
There are some thorny questions:
*(A)* how will these packages be docum...
John Abbott

19 Oct 2022

14:23 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 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 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

17 Oct 2022

14:38 Feature #1701: Preliminary packages
As an example, there was a package implementing some common "transcendental functions" (_e.g._ *@sin@*, *@log@*).
I ...
John Abbott
14:35 Feature #1701 (In Progress): Preliminary packages
Some while ago Kreuzer gave me many CoCoA packages developed by his students over the years.
I did look at a few o...
John Abbott
14:04 Design #1568: RMap and image: obsolescent?
Any progress here?
I'd like to complete this issue. It is one of those frustrating ones which take
quite a bit of ...
John Abbott
14:02 Feature #912: Add TUTORIALs to online manual
I have some new students learning CoCoA-5.
I shall ask them for constructive feedback about improving the tutorials ...
John Abbott
13:59 Feature #1373 (In Progress): GFan also for Microsoft?
I am hoping to see Nico Mexis from time to time during this semester.
Perhaps I can ask him for notes about what he ...
John Abbott

14 Oct 2022

10:31 Design #1697: Specifying BOOST in configure
It seems that -Bstatic works only for linux... Anna Maria Bigatti
10:26 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

11 Oct 2022

20:19 Support #1393: GUI with Qt5
@Ulrich: great! Thanks!
Currently my old MacBook is rather unwell (me too), so I cannot check on MacOS.
I'll pr...
John Abbott
17:59 Support #1393: GUI with Qt5
I attach a revised version of the shell script. It is somewhat modeled after @configuration/gmp-check-cxxflags.sh@ (a... Ulrich von der Ohe

10 Oct 2022

12:01 Design #1698 (Feedback): indent: return a string?
John Abbott

08 Oct 2022

13:17 Support #1393: GUI with Qt5
I am not convinced the macOS specific stuff in @make-c5makefile.sh@ is still useful. I certainly have not altered it ... Ulrich von der Ohe

07 Oct 2022

19:53 Support #1393: GUI with Qt5
I attach a new version of @qt5check.sh@. Please use this one instead of the one I uploaded earlier.
For macOS, the...
Ulrich von der Ohe
15:28 Support #1393: GUI with Qt5
Thank Ulrich! That was quick.
I shall try to incorporate your test ASAP.
Right now I do not have access to CVS -- ...
John Abbott
15:26 Support #1393: GUI with Qt5
Hi John, I attach three files which I think should do the job:
1) @qt5check.sh@: Checks for @qmake@, runs it it on...
Ulrich von der Ohe
14:40 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
Referring to comment 10: the function @Initialize@ now does nothing; all references to @MEMORY@ are commented out).
John Abbott
14:38 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
*Bernhard* in comment 10 above, it is reported you had an improved version (of @OperationCommunication.cpkg5@).
Is ...
John Abbott
14:35 Support #1534: Install CoCoA-5 on MacOS-10.15+
2022-10-07: What is the status of this issue? John Abbott
11:06 Slug #750 (Closed): C5 GUI: very slow when printing many short lines
We do not really have the resources to investigate and fix this.
While the "slow newline problem" is not ideal, it i...
John Abbott
10:56 Feature #35 (Rejected): Optional warnings for fn-proc arity
After discussion with Anna: *REJECT*
* we have not really ever had (in 11 years) difficulties where such a warning w...
John Abbott
 

Also available in: Atom