CoCoA » CoCoA-5

17 Sep 2020

16:09 Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign)

The following produces a misleading error message... John Abbott

16:06 Feature #1415: thmproving package

Any news about this package?
Can we close this issue quickly and easily? John Abbott

15:59 Bug #1294: CoCoA-5 tests may fail even if executed correctly

I have modified the script @RunTests.sh@ so that it first runs CoCoA with an empty input (*@/dev/null@*).
If that pr... John Abbott

15 Sep 2020

15:20 Bug #1294 (In Progress): CoCoA-5 tests may fail even if executed correctly

Your comment about a protected variable causing trouble is a good point (albeit also rather abstruse).
We should u... John Abbott

14:35 Bug #1294: CoCoA-5 tests may fail even if executed correctly

Yes, I think that would be an improvement, but also only solve the issue partly. Still if for instance @init.cocoa5@ ... Julian Danner

13:11 Feature #1487 (Closed): EOF for OpenIFile

To read a local file one needs to open an input device via @D:=OpenIFile("path_to_file")@ and read it line-by-line vi... Julian Danner

14 Sep 2020

18:19 Support #1486: Emacs UI: indentation in a package

JAA is uncertain about this.
On the one hand the "strange" indentation of package variable assignments highlights ... John Abbott

18:16 Support #1486 (In Progress): Emacs UI: indentation in a package

Bernhard Andraschko reports the following anomaly.
Inside a package variables are indented, but all other package ... John Abbott