Activity
From 17 Mar 2022 to 15 Apr 2022
13 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...
12 Apr 2022
-
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...
10 Apr 2022
-
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 ... -
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... -
18:23 CoCoALib Feature #1676: txt2tags: include in source distribution?
- I have modified @release-source.sh@ so that it does not copy @txt2tags@.
-
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...
-
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...
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....
04 Apr 2022
-
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... -
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 ...
28 Mar 2022
-
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...
25 Mar 2022
-
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... -
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...
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... -
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... -
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... -
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... -
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
-
18:31 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- Splendid. I'll try this tomorrow.
-
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...
18 Mar 2022
-
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 ...
-
10:26 CoCoALib Support #1674 (Closed): DocTeX.t2t missing several "index entries"
-
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).
17 Mar 2022
-
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!
16 Mar 2022
-
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...
Also available in: Atom