CoCoA » CoCoA-5

04 May 2020

16:23 Support #1455 (Closed): In a release: which files inside the CoCoAManual

Exactly which files should be in the directory *@CoCoAManual/@*?
Currently, there are @Makefile@ and @README@...
... John Abbott

16:17 Support #1454: Filenames in release CoCoAManual/html containing [obsolete]

An example is *@cmdCast[OBSOLETE].html@*
On my linux box names with square brackets are printed out (by @ls@) insi... John Abbott

16:14 Support #1454 (New): Filenames in release CoCoAManual/html containing [obsolete]

Currently files in @CoCoAManual/html/@ corresponding to obsolete/obsolescent commands have names containing square br... John Abbott

01 May 2020

05:52 Support #1450 (In Progress): Release CoCoA-5.3.2

Here are some notes about the MacOS (hidden) release:
* inside @CoCoA-5.3/CoCoAManual/@ there are @Makefile@ and @RE... John Abbott

30 Apr 2020

17:28 Design #1453: Use symbolic links for release files

Just to remember: we already have pretty good scripts for configuration on Mac and on Linux. Anna Maria Bigatti

17:09 Design #1453: Use symbolic links for release files

We can do it anyway for Linux and MacOS. Hopefully someone will tell us how to do it for Microsoft.
A first idea ... John Abbott

16:00 Design #1453: Use symbolic links for release files

John Abbott wrote:
> I may be difficult to do this on Microsoft?
This is the point: I have no clue how to make a ... Anna Maria Bigatti

15:08 Design #1453: Use symbolic links for release files

Here is an excerpt from comment 13 of issue #990:
Here is a quick summary of what I think the installation "script... John Abbott

15:05 Design #1453 (New): Use symbolic links for release files

It would be better for release files to be in fixed place, whose path name does not change with version number.
Curr... John Abbott

16:02 Support #1451: CoCoA Manual: make search keys public

OK, postponed
...but at least / at last I've remembered to write this down! Anna Maria Bigatti

14:51 Support #1451: CoCoA Manual: make search keys public

This might be a good idea -- I'm not sure yet.
I'd prefer to schedule it for 5.3.4 (rather than 5.3.2 which is very ... John Abbott

14:43 Support #1451 (Closed): CoCoA Manual: make search keys public

Search keys used by "?" in CoCoA, are invisibile in pdf and html versions.
I think they could also be useful for th... Anna Maria Bigatti

15:43 Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz

Anna Maria Bigatti

14:44 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz

Anna: can you register the time spent on this, and then close the issue? I think it is due to be closed now, right? John Abbott

15:12 Support #1222 (Closed): Release CoCoA-5.3.0

This has been subsumed by the impending release of 5.3.2 which contains two important bug fixes.
Closing this issu... John Abbott

14:43 Support #1222: Release CoCoA-5.3.0

Close because subsumed by issue #1450? John Abbott

15:10 Design #990 (Closed): CoCoA-5 distribution: tidying

The main part of this issue has been resolved adequately.
The idea in comment 13 has been moved to a new issue #14... John Abbott

15:02 Support #1333 (Closed): Typevectors

John Abbott

14:34 Support #1450 (Closed): Release CoCoA-5.3.2

Everything for the release
CHECK FOR BUGS
Compile with *@--debug@* flag, and check that everything runs O... Anna Maria Bigatti

17 Apr 2020

16:19 Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

It works for me ... Anna Maria Bigatti

16:11 Bug #1448 (Feedback): EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

I have checked in (*@cocoa5.el@*)
How can we make a test suite for the emacs UI?
Please test, and let me know i... John Abbott

16:07 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

I think I have a reasonable solution; it may not behave exactly as before. It's tricky getting these regexps to do e... John Abbott

15:45 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

I have modified the regexp in my local copy, and it works now.
*BUT* the file contains some weird chars now :-/
... John Abbott

15:22 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

I wonder if the problem is in the regexp on line 1423.... damn, I wrote that :-(
John Abbott

15:19 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

It is important to read carefully the description of the bug...
I confirm the bug for me (Ubuntu 18.04, emacs 25.2... John Abbott

13:58 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

... Anna Maria Bigatti

13:56 Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

This is the most amusing and surprising bug I've ever seen.
Evaluating C-<enter> (or C-c C-l) on the first line of t... Anna Maria Bigatti