CoCoA Project

07 Apr 2022

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

24 Mar 2022

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

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

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

23 Mar 2022

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