Activity
From 25 Feb 2022 to 26 Mar 2022
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... -
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... -
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...
15 Mar 2022
-
12:01 CoCoALib Support #1672 (New): Documentation: a good model to follow?
- I found the following link which claim that Arch Linux doc is particularly well written:
https://www.theregister.com...
12 Mar 2022
-
19:23 CoCoA-5 Support #1393: GUI with Qt5
- Why does the code compile without *@#include <thread>@*? (in file @C5.H@)
-
19:18 CoCoA-5 Support #1393: GUI with Qt5
- It works for me too :-)
I'll clean up, and check into CVS.
Thanks to Ulrich!
07 Mar 2022
-
16:58 CoCoA-5 Bug #1029 (Closed): Readline: does not recognize interrupts
-
15:32 CoCoA-5 Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?
-
15:29 CoCoA-5 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- Chosen key-binding / shortcut: C-c C-h
works also for running cocoa5 (comint) window -
10:42 CoCoALib Design #1649: Add file SparsePolyOps-vector.C
- We decided @syz@ to be in submodule.C. Checked in.
-
10:26 CoCoA-5 Slug #1629: RingElem slow with many indets
- Discussion:
John Abbott wrote:
> Anna implemented a quick fix: it was much faster, but would also sometimes give... -
10:04 CoCoALib Support #1555 (Closed): Software licence
05 Mar 2022
-
14:48 CoCoALib Feature #1652 (In Progress): Add LM to cocoalib ?
- Any progress to report here? Also Gereon Kremer is hoping to use @DivAlg@.
It is surprising that it is (apparently)...
04 Mar 2022
-
17:36 CoCoALib Support #1612 (Closed): Merge the doc file RadicalMembership.txt into ideal.txt
- done.
I also consequently cleaned it up.
03 Mar 2022
-
20:47 CoCoA-5 Support #1393: GUI with Qt5
- John Abbott wrote:
> I did also try switching to @std::thread@ etc. Everything compiled, but @C5@ would crash insta... -
16:54 CoCoA-5 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
- Current impl just looks up the word around cursor -- it ignores the selected region.
It also advances the cursor pas... -
15:46 CoCoA-5 Support #530 (Rejected): Interpreter error message: "for" with missing "do"
- Thinking about it, this just follows our human expectation for "x".
If we had... -
15:29 CoCoALib Feature #1670: Build also dynamic/shared library for CoCoALib?
- There is some information at the following URL -- no idea how reliable it might be.
@https://tldp.org/HOWTO/Program-... -
14:55 CoCoA-5 Feature #1671 (New): Refactor C++ impl in OnlineHelp
- The code in @OnlineHelp.C@ needs to be refactored (to make it smaller and more maintainable; extreme speed is not imp...
-
14:42 CoCoALib Support #1555: Software licence
- Gereon has confirmed that the trial version seems to be fine for his purposes:
in ptic, he needed a revised copyrigh...
02 Mar 2022
-
17:28 CoCoA-5 Support #169: Font for parameters in manual
- Also code snippets should be between tt's.
But *not for types*, e.g. INT, MODULE and RING, because they are alread... -
16:20 CoCoA-5 Support #169 (Resolved): Font for parameters in manual
-
16:14 CoCoA-5 Support #1268 (Closed): Documentation for how to write a CoCoA package
- This issue is a duplicate of #406. Closing.
-
16:11 CoCoA-5 Support #406 (Feedback): Manual for CoCoAManual/CoCoAHelp.xml
- Major discussion and work with John Abbott lead to some useful decisions and the consequent major update of the guide...
-
13:59 CoCoALib Feature #1670 (New): Build also dynamic/shared library for CoCoALib?
- Bruns asks whether we could arrange for CoCoA to build also a dynamic/shared library.
This should work on Linux/Ma...
25 Feb 2022
-
11:28 CoCoA-5 Support #1393 (Resolved): GUI with Qt5
- I have tried Ulrich's patches and it works!
I did also try switching to @std::thread@ etc. Everything compiled, b...
Also available in: Atom