Activity
From 23 Mar 2022 to 21 Apr 2022
21 Apr 2022
- 19:33 Slug #1680: FloorLog2 or SizeInBase?
- I had completely forgotten that we had created @SizeInBase@.
@FloorLog2@ is fairly quick, but @SizeInBase@ is instan... - 19:30 Slug #1680 (Closed): FloorLog2 or SizeInBase?
- In several places @FloorLog2@ is used to obtain a quick estimate of the
size of an integer; however, @SizeInBase@ is...
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.
... - 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...
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...
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 ... - 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... - 18:23 Feature #1676: txt2tags: include in source distribution?
- I have modified @release-source.sh@ so that it does not copy @txt2tags@.
- 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...
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... - 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 ...
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... - 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...
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... - 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... - 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... - 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... - 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 ...
23 Mar 2022
- 18:31 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- Splendid. I'll try this tomorrow.
- 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...
- 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...
Also available in: Atom