Activity

From 04 Oct 2022 to 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

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

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

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

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

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

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

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

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

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

20:51 Design #1698: indent: return a string?: I have changed the CoCoA-5 tests so that they do *@print indent(...);@* where previously there was just *@indent(...... John Abbott
20:38 Support #1393: GUI with Qt5: Ulrich, a question for you:
Would it be easy to make a very simple test program for Qt which could be used
by a... John Abbott
20:15 Bug #148 (In Progress): C-c C-p in emacs goes to wrong line: To help develop better code we need some test cases. I'll type in some candidates here.
*TEST CASE 1*... John Abbott
20:00 Bug #716: NotBuiltin.cpkg5: indent for MODULE: The name should be short and ideally mnemonic.
Currently *@F@*, which is a short as possible. Any idea what is typi... John Abbott

11:35 Bug #716: NotBuiltin.cpkg5: indent for MODULE: John Abbott wrote:
> Can we document this behaviour (since I think it is not completely self-explanatory)?
>
> Is... Anna Maria Bigatti
11:30 Design #1698: indent: return a string?: > Possible options are:
> * *(A)* accept the new behaviour (and update the expected test outputs)
> * *(B)* modif... Anna Maria Bigatti
11:22 Bug #148: C-c C-p in emacs goes to wrong line: John Abbott wrote:
> Anna, might you like to take a look at this?
> It's not really urgent, but maybe you feel insp... Anna Maria Bigatti

Also available in: Atom

CoCoA » CoCoA-5