Project

General

Profile

Activity

From 22 Mar 2022 to 20 Apr 2022

20 Apr 2022

11:37 Design #1678: Unsigned long for indexes (& sizes?)
I spoke to Anna yesterday about this. Naturally, she was uneasy about reversing a decision we made a long time ago.
...
John Abbott
11:30 Design #1678 (In Progress): Unsigned long for indexes (& sizes?)
So far we have avoided using @unsigned@ integer types, and recommend using just @long@.
I now have doubts about th...
John Abbott

12 Apr 2022

17:27 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

10 Apr 2022

18:29 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 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 Feature #1676: txt2tags: include in source distribution?
I have modified @release-source.sh@ so that it does not copy @txt2tags@.
John Abbott
11:28 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

04 Apr 2022

15:01 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 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

25 Mar 2022

17:23 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 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

24 Mar 2022

19:30 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 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 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 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 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

23 Mar 2022

18:31 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
Splendid. I'll try this tomorrow.
Anna Maria Bigatti
14:48 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 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
 

Also available in: Atom