Activity
From 18 Oct 2022 to 16 Nov 2022
16 Nov 2022
- 20:35 Design #1709: Test tut-CoCoLA2
- PS: Sorry for the late clarification -- I wasn't aware that this was posted here and only saw it by chance.
- 20:10 Design #1709: Test tut-CoCoLA2
- John Abbott wrote:
> @tut-CoCoLa2.cocoa5@
> prints out the result of @LinKer@ which may vary from call to call.
> ... - 15:42 Design #1709: Test tut-CoCoLA2
- I think there are 7 places to revise...
Just search for @LinKer@ and see which ones actually are printed.
11 Nov 2022
- 22:21 Design #1709 (Closed): Test tut-CoCoLA2
- @tut-CoCoLa2.cocoa5@
prints out the result of @LinKer@ which may vary from call to call.
Change the test so that ...
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 ...
Also available in: Atom