Ulrich von der Ohe's activity
From 22 Mar 2022 to 20 Apr 2022
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....
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... -
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... -
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 ... -
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...
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...
-
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...
Also available in: Atom