Activity
From 20 Oct 2022 to 18 Nov 2022
18 Nov 2022
-
21:54 Design #1709: Test tut-CoCoLA2
- Ulrich von der Ohe wrote:
> Note: I have observed this bug on OpenBSD only, never on a GNU/Linux system.
The prob...
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...
Also available in: Atom