Activity
From 09 Oct 2022 to 07 Nov 2022
07 Nov 2022
- 20:05 Support #1393: GUI with Qt5
- Ulrich suggests asking the QCodeEdit author if we distribute under GPLv3+
NOte: try website @https://bruant.info@...
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@
... - 11:47 Support #1393: GUI with Qt5
- Ulrich, maybe it is simpler to send me a tar.gz of your configuration directory...
- 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...
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... - 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...
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... - 21:59 Support #1707 (New): User forum?
- Should we make a user forum where CoCoA-5 users can post questions when they have problems?
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... - 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 ...
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.
- 15:50 Feature #1701: Preliminary packages
- Created new directory: *@src/CoCoA-5/packages/preliminary/@*
We'll think about documentation later...
- 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...
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 *...
- 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... - 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 ...
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 ... - 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... - 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 ... - 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 ... - 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 ...
14 Oct 2022
- 10:31 Design #1697: Specifying BOOST in configure
- It seems that -Bstatic works only for linux...
- 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...
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... - 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...
10 Oct 2022
Also available in: Atom