CoCoA » CoCoA-5

24 Jun 2014

10:36 Bug #279: Bug in Radical (actually a RingHom problem)

Here is an excerpt from CoCoA (this morning, 20140624)... John Abbott

30 May 2014

09:16 Design #567 (Feedback): Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

Easy when you know where, more difficult to find *where*.
Done.
I had to change @ErrorReporter::ErrorPrefix("--> ... Anna Maria Bigatti

29 May 2014

17:11 Design #567: Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

first step done (in Lexer.C) Anna Maria Bigatti

17:09 Design #567 (In Progress): Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

Let's try the proposal. As it is a "trick", it should be well documented. John Abbott

16:39 Design #567: Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

maybe error messages should be printed... Anna Maria Bigatti

16:37 Design #567 (Closed): Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

consider this... Anna Maria Bigatti

17:04 Support #541: Unify releases for Linux 32 and Linux 64

Apparently emacs + script does not work on some linux machine (Oscar's).
Script works fine inside a normal shell, but... Anna Maria Bigatti

14:39 Bug #566 (Resolved): Online help: problem with "<>"

I'm sure this didn't work just a few days ago; but when I tried it yesterday, everything behaved correctly (but I don... John Abbott

26 May 2014

22:03 Bug #566 (Closed): Online help: problem with "<>"

The manual search *@?<>@* produces no match, yet the XML source has a suitable key (in the entry for *@Equality Test@... John Abbott