Activity

From 17 Mar 2022 to 15 Apr 2022

10:46 CoCoA-5 Support #1393: GUI with Qt5: I am not entirely sure about the legal situation if we distribute the GUI
code which has licence GPLv3 along with c... John Abbott

17:27 CoCoALib Design #1677 (In Progress): release-source script: use shell globbing?: After discussion with Anna, I have now included the "preserve" flag when copying files to the "release" tree.
Anna... John Abbott

18:29 CoCoALib Design #1677: release-source script: use shell globbing?: The code Ulrich submitted used the @-p@ flag when copying.
This may be useful to indicate to people when files were ... John Abbott
18:26 CoCoALib Design #1677 (In Progress): release-source script: use shell globbing?: How explicit should @release-source.sh@ be about which files it copies?
_e.g._ should we copy @*.C@ or should we... John Abbott
18:23 CoCoALib Feature #1676: txt2tags: include in source distribution?: I have modified @release-source.sh@ so that it does not copy @txt2tags@.
John Abbott
11:28 CoCoALib Feature #1676 (In Progress): txt2tags: include in source distribution?: I have now modified the @Makefile@ so that it prints out a helpful message if @txt2tags@ is not found (saying where t... John Abbott
18:22 CoCoA-5 Support #1393: GUI with Qt5: I have now modified @release-source.sh@ so that it copies also the GUI stuff.
Checked in. We still need to sort out... John Abbott

03:56 CoCoA-5 Support #1393: GUI with Qt5: Ulrich von der Ohe wrote:
> It seems that many of the files needed to build the GUI are missing from the CoCoALib 0.... Ulrich von der Ohe

15:01 CoCoALib Feature #1676: txt2tags: include in source distribution?: Just spoken to Anna about this.
The main advantage is that this would allow "developers" to rebuild the documentat... John Abbott
14:55 CoCoALib Feature #1676 (Rejected): txt2tags: include in source distribution?: Should we include @txt2tags@ in the source distribution, so that developers can write (& check) documentation?
If ... John Abbott

12:43 CoCoA-5 Support #1675 (Closed): Version 5.4.0 requires Visual C++ Runtime 2013 on Windows: When I tried to run the newest CoCoA version on my Windows 10 machine I got the error messages "MSVCP120.dll not foun... Florian Walsh

17:23 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": Ulrich von der Ohe wrote:
> I have a (for me) working version with txt2tags 3.4. All the files I changed (relative t... Anna Maria Bigatti
10:39 CoCoALib Support #1481: Release CoCoALib 0.99800: All is done now, except publishing the documentation (I'm still investigating some technical issues related to txt2ta... Anna Maria Bigatti

19:30 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": John Abbott wrote:
> The main problem (for me) was that I had upgraded to Ubuntu 20.04, and this automatically upgra... Ulrich von der Ohe
19:16 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": The main problem (for me) was that I had upgraded to Ubuntu 20.04, and this automatically upgraded @txt2tags@.
The n... John Abbott
10:38 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": Anna Maria Bigatti wrote:
> Ulrich von der Ohe wrote:
> > do not make much sense and prohibit that the documentatio... Ulrich von der Ohe
07:27 CoCoALib Bug #1662 (In Progress): txt2tags: problem with filenames containing "_" or "-": Ulrich von der Ohe wrote:
> do not make much sense and prohibit that the documentation is built.
This (for this r... Anna Maria Bigatti
02:32 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": Regarding the new version of @doc/Makefile@ in the recent release CoCoALib 0.99800:
If a @$(TXT2TAGS)@ resides in ... Ulrich von der Ohe
02:12 CoCoA-5 Support #1393: GUI with Qt5: It seems that many of the files needed to build the GUI are missing from the CoCoALib 0.99800 release (build system f... Ulrich von der Ohe

18:31 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": Splendid. I'll try this tomorrow.
Anna Maria Bigatti
14:48 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": There was a problem with the previous file: Apparently txt2tags is trying to be clever and inserts @\#@ when asked to... Ulrich von der Ohe
10:30 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": I've had a related problem with the txt2tags configuration (with CoCoALib 0.97718), which was due to a broken regular... Ulrich von der Ohe

10:28 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": check for "warning" in CoCoALib.log: there are lots of problems with internal links, it seems (but only for me and ... Anna Maria Bigatti
10:26 CoCoALib Support #1674 (Closed): DocTeX.t2t missing several "index entries": John Abbott
09:07 CoCoALib Support #1674 (Feedback): DocTeX.t2t missing several "index entries": All fixed.
I also added in Makefile fgrep for warnings (line copied from Makefile for cocoa5 manual). Anna Maria Bigatti

23:40 CoCoALib Support #1674 (Closed): DocTeX.t2t missing several "index entries": The file *@DocTeX.t2t@* seems to be missing several entries.
Complete it! Quickly!
John Abbott

00:41 CoCoA-5 Support #1393: GUI with Qt5: John Abbott wrote:
> Why does the code compile without *@#include <thread>@*? (in file @C5.H@)
In case the ques... Ulrich von der Ohe

Also available in: Atom

CoCoA