John Abbott's activity
From 16 Mar 2022 to 14 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... -
10:46 CoCoA-5 0.25 hour (Support #1393 (Feedback): GUI with Qt5)
- Copyright
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... -
17:27 CoCoALib 0.50 hour (Design #1677 (In Progress): release-source script: use shell globbing?)
- Preserve
10 Apr 2022
-
18:29 CoCoALib 0.50 hour (Design #1677 (In Progress): release-source script: use shell globbing?)
- Some notes
-
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 0.50 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)
- Not in source distrib
-
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...
-
11:28 CoCoALib 0.30 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)
- Current state
-
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... -
18:22 CoCoA-5 1.50 hour (Support #1393 (Feedback): GUI with Qt5)
- Checked in
04 Apr 2022
-
15:01 CoCoALib 0.40 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)
- Some notes
-
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 ...
24 Mar 2022
-
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... -
19:16 CoCoALib 0.20 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-")
- Quick summary
18 Mar 2022
-
10:26 CoCoALib Support #1674 (Closed): DocTeX.t2t missing several "index entries"
-
10:26 CoCoALib 0.50 hour (Support #1674 (Closed): DocTeX.t2t missing several "index entries")
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
-
20:24 CoCoALib Support #1673 (New): Review examples
- We should review the examples.
* some probably need to be updated thanks to new features added
* some are hard to c... -
19:26 CoCoA-5 Support #1393 (Feedback): GUI with Qt5
- I have checked in. Also improved @configure@ (to be more helpful).
Modified some code to eliminate compiler warning... -
19:26 CoCoA-5 1.00 hour (Support #1393 (Feedback): GUI with Qt5)
- Checked in
Also available in: Atom