Project

General

Profile

Activity

From 03 Apr 2017 to 02 May 2017

02 May 2017

15:01 Support #851: Release: CoCoA-5.2.0
-- release for Mac is done Anna Maria Bigatti
15:00 Support #265: Linking problems in CoCoA-5 GUI
To be honest I do not recall encountering this problem in a very long time, but I also do not recall ever resolving i... John Abbott
14:42 Design #766: CoCoA version number: copy CoCoALib
Anna Maria Bigatti wrote:
> COCOA5_VER_MINMIN is not in configuration/version.
> Where is it? I'm looking for it.
...
Anna Maria Bigatti
14:35 Design #766: CoCoA version number: copy CoCoALib
COCOA5_VER_MINMIN is not in configuration/version.
Where is it? I'm looking for it.
Anna Maria Bigatti

01 May 2017

21:28 Support #851: Release: CoCoA-5.2.0
last minute bug fix: IsPrimary false positive in some cases (found by Sandro Logar) Anna Maria Bigatti
10:43 Slug #1047 (Closed): NewPolyRing with user defined ordering is slower than CoCoALib
Anna Maria Bigatti wrote:
> Still missing: make speed tests with GroebnerFan (I had some strange results)
The tim...
Anna Maria Bigatti

29 Apr 2017

08:39 Slug #1047: NewPolyRing with user defined ordering is slower than CoCoALib
Still missing: make speed tests with GroebnerFan (I had some strange results) Anna Maria Bigatti
08:34 Feature #996 (Closed): New function: IdealOfGBasis
Anna Maria Bigatti
08:28 Support #187: CoCoA-5 (partial) releases: make the process simpler
Decision: corresponding CoCoALib versions will end with "0"
Still missing: release script for windows.
Anna Maria Bigatti

28 Apr 2017

20:22 Feature #708 (Feedback): ExternalLib Normaliz: verbose flag?
Anna Maria Bigatti
20:18 Feature #708: ExternalLib Normaliz: verbose flag?
Done.
Two functions (4 in cocoalib, for default and for cone): @NmzSetVerbosityLevel/NmzVerbosityLevel@, as in cocoa...
Anna Maria Bigatti
20:15 Feature #708: ExternalLib Normaliz: verbose flag?
Normaliz has only two levels of verbosity: off or on. Via libnormaliz this can be toggled. I think the CoCoA interfac... Winfried Bruns
19:21 Feature #708: ExternalLib Normaliz: verbose flag?
OK for the names @XXXSetVerbosityLevel@ and @XXXVerbosityLevel@ where @XXX@ could be @Nmz@ or some other prefix for a... John Abbott
16:46 Feature #708: ExternalLib Normaliz: verbose flag?
John Abbott wrote:
> Currently Normaliz has just two verbosity levels (@true@ and @false@).
> There is not much pro...
Anna Maria Bigatti
16:32 Feature #708: ExternalLib Normaliz: verbose flag?
Currently Normaliz has just two verbosity levels (@true@ and @false@).
There is not much problem in saying that nume...
John Abbott
16:02 Feature #708: ExternalLib Normaliz: verbose flag?
John Abbott wrote:
> If the behaviour from the point of view of a user is similar to that of CoCoA's own @SetVerbosi...
Anna Maria Bigatti
13:41 Feature #708: ExternalLib Normaliz: verbose flag?
If the behaviour from the point of view of a user is similar to that of CoCoA's own @SetVerbosityLevel@ then it would... John Abbott
12:16 Feature #708: ExternalLib Normaliz: verbose flag?
should we call it @NmzSetVerbosityLevel@? Anna Maria Bigatti
11:32 Feature #708: ExternalLib Normaliz: verbose flag?
JAA prefers that there be independent verbosity settings for CoCoALib and any external libraries.
John Abbott
09:13 Feature #708: ExternalLib Normaliz: verbose flag?
Should we pass the VerbosityLevel from CoCoALib? Anna Maria Bigatti
19:21 Feature #1045 (Closed): Error message from cocoalib to cocoa-5
Anna Maria Bigatti
09:20 Feature #1045: Error message from cocoalib to cocoa-5
function renamed @message_forC5@ and moved in @CoCoALibSupplement@ Anna Maria Bigatti
19:21 Feature #1043 (Closed): New function: IsCoprime
Anna Maria Bigatti
19:06 Design #1051 (Closed): ReadExpr(P, string) and RingElem(P, string)
I made ReadExpr obsolescent (in CoCoA-5).
Not convinced 100% it is right, but it's not too wrong either.
documented...
Anna Maria Bigatti
17:08 Support #851: Release: CoCoA-5.2.0
Fixed all bugs in manual (found with make ManExamples) Anna Maria Bigatti
15:49 Support #851: Release: CoCoA-5.2.0
Another run of make ManExamples Anna Maria Bigatti
16:20 Design #1018 (Closed): Interpreter: limit range for ".." operator
I have changed the code (@Interpreter.C:3643@) so that the limit is 10^7 values; also changed the error message and t... John Abbott
15:20 Design #1018: Interpreter: limit range for ".." operator
John Abbott wrote:
> I have added a note to the man page about "range operator".
>
> I wonder whether a limit of ...
Anna Maria Bigatti
15:10 Design #1018: Interpreter: limit range for ".." operator
I have added a note to the man page about "range operator".
I wonder whether a limit of 10^7 would be better than ...
John Abbott
15:40 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
OK, postponed: I did not receive enough information to make a decision. Anna Maria Bigatti
15:12 Feature #175 (In Progress): Approximate BuchbergerMoeller: port to CoCoA-5
Is it better to postpone this than try to rush it?
John Abbott
15:14 Support #973 (Closed): GroebnerFanIdeals: verbosity and output style
This seems to work well now.
Sometimes it is slow, but I think that is GFan's fault.
Closing.
John Abbott
14:49 Feature #711: External Libs: print credits?
The Normaliz header of the development version that will soon become 3.3.0 now lists the external packages compiled i... Winfried Bruns
14:34 Support #521: Manual: automatically check all examples
it is in the checklist in #851 ;-)
which I copy for every release
Anna Maria Bigatti
14:14 Support #521 (Closed): Manual: automatically check all examples
WQe mustremember to do this before each release!Closing
John Abbott
09:16 Support #521: Manual: automatically check all examples
John, close this issue, as done in #558? Anna Maria Bigatti
14:31 Bug #1055 (Resolved): CoCoAManual: duplication (2 pages for operators)
Anna Maria Bigatti
14:31 Bug #1055: CoCoAManual: duplication (2 pages for operators)
operators, shortcuts
is in the list of commands/functios
CoCoA operators
is in the chapter about operators. I...
Anna Maria Bigatti
11:47 Bug #1055: CoCoAManual: duplication (2 pages for operators)
I also note that in the page for @operators, shortcuts@ we use @..@ to mean "missing expression" but also to mean the... John Abbott
11:46 Bug #1055 (Closed): CoCoAManual: duplication (2 pages for operators)
Why are there the following two manual pages?... John Abbott
11:42 Support #1054: CoCoAManual: improved search, or improved selection of "see also" pages
One possibility is to number the "see also" pages and offer a way to chose by number; for instance... John Abbott
11:37 Support #1054 (New): CoCoAManual: improved search, or improved selection of "see also" pages
I wanted to see the manual page for @SetVerbosityLevel@, but also wanted to be lazy, so I typed:... John Abbott
11:21 Support #439: CoCoA website: download pages and installing instructions
This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ...
Anna Maria Bigatti
09:24 Design #868 (Closed): Der, Bin: why the capital letter?
Anna Maria Bigatti
09:10 Feature #1021: CoCoA Manual: search should ignore multiple spaces
? file io --> ? file io
? factor ; abcdefg --> don't know, maybe ? factor
? factor -- comment
? ...
Anna Maria Bigatti

27 Apr 2017

23:56 Feature #1021: CoCoA Manual: search should ignore multiple spaces
I have written a simple implementation of @CleanupKeyword@, but it is rather different from the current version.
R...
John Abbott
15:27 Feature #1021 (In Progress): CoCoA Manual: search should ignore multiple spaces
There is a fn called *@CleanupKeyword@* at around @OnlineHelp.C:600@.
This is probably what needs to be changed!
John Abbott
18:29 Support #851: Release: CoCoA-5.2.0
make ManExamples
done
Anna Maria Bigatti
18:14 Feature #996 (Feedback): New function: IdealOfGBasis
John Abbott wrote:
> Cosa dovrebbe fare il seguente?
fixed
Anna Maria Bigatti
18:05 Design #868: Der, Bin: why the capital letter?
done, tested.
Anna Maria Bigatti
17:43 Design #868: Der, Bin: why the capital letter?
John Abbott wrote:
> Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
yes.
Anna Maria Bigatti
17:15 Design #868: Der, Bin: why the capital letter?
Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
John Abbott
17:37 Design #1051: ReadExpr(P, string) and RingElem(P, string)
I also made a small improvement to @RingElem(Ring, RingElem)@ for the (effectively useless) case when there is ring c... Anna Maria Bigatti
16:38 Design #1051 (Resolved): ReadExpr(P, string) and RingElem(P, string)
Updated the documentation for @RingElem@.
Now I'm ready to make @ReadExpr@ obsolescent. Should I do it now or postp...
Anna Maria Bigatti
17:19 Design #1018: Interpreter: limit range for ".." operator
sounds good to me
Anna Maria Bigatti
17:09 Design #1018 (Feedback): Interpreter: limit range for ".." operator
In fact this has already been implemented: there is an arbitrary upper limit of 10^8 elements in the result.
Perhaps...
John Abbott
15:38 Bug #1046 (Closed): CoCoA-5 no longer lists the external libs present
Now it works well enough.
Closing!
John Abbott
09:09 Bug #1046 (Resolved): CoCoA-5 no longer lists the external libs present
Added to @VersionInfo@ (in @BuiltinFunctions.C@) the field @ExternalLibs@. Anna Maria Bigatti
15:35 Slug #405 (Closed): ReducedGBasis not memorized in an ideal
Closing after 5 months in feedback. A quick test shows that the RGB is now correctly memorized: well, the example gi... John Abbott
15:30 Slug #709: Speed of some Normaliz calls (NmzComputation)
Postponing as this is likely to take some time to comprehend and resolve. It is also "not critical" in that there is... John Abbott
15:20 Support #1040 (Closed): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
I have just improved the entries for @VerbosityLevel@ and @SetVerbosityLevel@. Checked in. Closing.
John Abbott
15:09 Support #1000 (In Progress): CoCoAManual for "all cocoa commands"
Postponing (because it will take some time), but also increasing priority.
John Abbott
15:03 Support #863 (Closed): CoCoA-5 manual: IsInteger and IsRational are missing?
John Abbott
15:01 Slug #798: use poly ring with many variables is too slow
I do not like the fact that the last comment expressed doubt... but obviously I was too lazy to give any details. As... John Abbott
14:57 Feature #877 (Closed): Easier syntax to make a PRINCIPAL ideal?
Closing after 7 months in feedback.
John Abbott
14:45 Bug #748: Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
Great thanks!! I realized only now this was the problem I had!
Teasted: it works on old emacs too.
Anna Maria Bigatti
11:30 Bug #748 (Closed): Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
This has been in feedback for 10 months. I've not noticed any "nasty surprises" using Emacs, so it is probably OK no... John Abbott
14:34 Bug #878 (Closed): RingElem applied to a symbol (repr as a string)
Anna Maria Bigatti
11:43 Feature #909 (Closed): ReadExpr: decimal point
Closing after 7 months in feedback without any problems (but probably not much stress testing either).
John Abbott
11:40 Feature #711 (Closed): External Libs: print credits?
I think it is best to skip the fancy idea suggested in comment 7, at least for the time being.
Closing after 7 mon...
John Abbott
11:35 Bug #1028 (Closed): Readline: cursor moves wrongly when at start of line with a prompt
Closing after about 1 month effectively in feedback.
I hardly ever use the readline interface myself -- almost alway...
John Abbott
11:31 Bug #1002 (Closed): Emacs UI: cocoa5-send-line skips too many chars
Closing after 3 months in feedback, and no problems have come up.
John Abbott

26 Apr 2017

19:04 Feature #903 (Closed): New function CallOnGroebnerFanIdeals: call function on GFan ideals
Updated manual (after cleaned up example in GBForEveryone paper).
closing.
Anna Maria Bigatti
17:25 Feature #883 (Closed): gin: return/print a suitable change of variables
With verbosity we print the changes used. I think this was the actual request by Werner Seiler, so I close this issu... Anna Maria Bigatti
17:20 Feature #1038 (Closed): Emacs: sent interrupt to CoCoA
Works for John (new emacs) and for me (old emacs).
Good.
Closing.
Anna Maria Bigatti
17:19 Design #998 (Closed): Emacs UI: sending empty input from cocoa5 buffer
Anna Maria Bigatti
17:18 Feature #978: CommonDenom: for polys and lists?
* We are going to work on this, better postpone this. Anna Maria Bigatti
16:58 Support #977: "universal denominator" (related with GroebnerFanIdeals)
I think we are going to do more work on this topic. Postponing to next release. Anna Maria Bigatti
16:49 Design #1020: Rename minimalized(I) into IdealOfMinGens(I)?
Changed my mind :-(
@minimalized@ is also for modules. This needs more thinking.
Postponing to next release.
Anna Maria Bigatti
16:06 Design #1020: Rename minimalized(I) into IdealOfMinGens(I)?
I'm about to make @minimalized@ obsolescent (cocoa and cocoalib).
Should I do the same for @minimalize@ (suggesting...
Anna Maria Bigatti
16:00 Bug #963 (Closed): Manual: XML problem with html doc
Anna Maria Bigatti
15:56 Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
Anna Maria Bigatti
13:51 Design #1051: ReadExpr(P, string) and RingElem(P, string)
John Abbott wrote:
> Should we make *@ReadExpr@* obsolescent?
Not before deciding if we want to do the same in Co...
Anna Maria Bigatti
13:31 Design #1051 (In Progress): ReadExpr(P, string) and RingElem(P, string)
Should we make *@ReadExpr@* obsolescent?
John Abbott
11:07 Design #1051: ReadExpr(P, string) and RingElem(P, string)
Done (cocoa5) and checked in. Anna Maria Bigatti
09:12 Design #1051: ReadExpr(P, string) and RingElem(P, string)
OK, I'll implement "3".
Should I modify CoCoALib as well?
Anna Maria Bigatti
13:34 Bug #878: RingElem applied to a symbol (repr as a string)
John Abbott wrote:
> Or should we just wait until the function is really needed? The @sprint@ solution can be used ...
Anna Maria Bigatti
13:28 Bug #878 (Resolved): RingElem applied to a symbol (repr as a string)
As already indicated in the description, I do not much like the awkward syntax @RingElem(P, ["a",i])@.
I do see th...
John Abbott
10:36 Bug #878: RingElem applied to a symbol (repr as a string)
Fixed, now calls @ReadExpr@.
Documented.
I kept the syntax @RingElem(P, ["a", i])@ because it allows variable indic...
Anna Maria Bigatti

25 Apr 2017

17:57 Design #1051: ReadExpr(P, string) and RingElem(P, string)
If we make @RingElem(P, str)@ behave like @ReadExpr(P, str)@ then @ReadExpr@ becomes essentially redundant.
I thin...
John Abbott

24 Apr 2017

18:11 Design #1051: ReadExpr(P, string) and RingElem(P, string)
Currently implemented 2, meaningful error message.
Anna Maria Bigatti
17:15 Design #1051 (Closed): ReadExpr(P, string) and RingElem(P, string)
In cocoalib we have ReadExpr(P, *string*) and RingElem(P, *symbol*), but in cocoa-5 they both take a string.
I spent...
Anna Maria Bigatti

19 Apr 2017

18:13 Feature #996: New function: IdealOfGBasis
Cosa dovrebbe fare il seguente?... John Abbott

18 Apr 2017

11:11 Slug #1047 (Feedback): NewPolyRing with user defined ordering is slower than CoCoALib
Of course I wrote this issue after solving it ;-)
While comparing two functions using GBases with an elimination o...
Anna Maria Bigatti
10:58 Slug #1047 (Closed): NewPolyRing with user defined ordering is slower than CoCoALib
Anna Maria Bigatti

13 Apr 2017

22:27 Bug #1046: CoCoA-5 no longer lists the external libs present
The problem is that the technique used employs a "hack" which reads the command line flags for the compiler.
The n...
John Abbott
22:25 Bug #1046 (Closed): CoCoA-5 no longer lists the external libs present
Previously CoCoA-5 listed which external libs had been compiled in.
It no longer does so (except for READLINE).
F...
John Abbott
17:43 Feature #1045 (Feedback): Error message from cocoalib to cocoa-5
Following what I said here:
https://cocoa.dima.unige.it/redmine/issues/743#note-7
I added in @Interpreter.C@ a fu...
Anna Maria Bigatti
17:35 Feature #1045 (Closed): Error message from cocoalib to cocoa-5
improve error message given by cocoa-5 for errors arising from cocoalib Anna Maria Bigatti

10 Apr 2017

17:55 Feature #1044 (Closed): New function: SectionalMatrix, PrintSectionalMatrix
Anna Maria Bigatti
17:43 Feature #1017 (Rejected): New function: SetGBasisAsGens [--> NO: use IdealOfGBasis]
Anna Maria Bigatti
17:42 Feature #1017: New function: SetGBasisAsGens [--> NO: use IdealOfGBasis]
Update: don't modify ideal, by make a new one with @IdealOfGBasis@ Anna Maria Bigatti
17:39 Feature #965 (Closed): New function: multigraded BettiNumbers
All done some time ago (forgot to update this).
Now documented.
Anna Maria Bigatti
16:47 Feature #845 (Closed): Primary Decomposition in CoCoA-5.1.6: zero dimensional, finite characteristic
All done, also tests.
Anna Maria Bigatti
15:50 Feature #1043 (Feedback): New function: IsCoprime
All done (for power-products).
This function (for power-products!) was already available in CoCoALib, so I just mean...
Anna Maria Bigatti
15:34 Feature #1043: New function: IsCoprime
Presumably the fn should actually be defined for pairs of @RINGELEM@ from any @TrueGCDDomain@.
Maybe for polynomia...
John Abbott
14:43 Feature #1043 (Closed): New function: IsCoprime
Add @IsCoprime@ for power-products (as in CoCoALib)
Anna Maria Bigatti

07 Apr 2017

22:24 Design #1041: Separators for elements of a list
Here is an example involving a matrix:... John Abbott
22:21 Design #1041: Separators for elements of a list
I have put this in the section CoCoA-5 even though the solution involves (possibly) modifying CoCoALib,
because the ...
John Abbott
22:19 Design #1041 (In Progress): Separators for elements of a list
Currently elements of a "list" are printed with comma-space-space between successive elements.
The string defining...
John Abbott
17:19 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
removed the empty lines, and checked in.
I like it! A lot more compact :-)
Have a look, what do you think?
Anna Maria Bigatti
16:51 Bug #697 (In Progress): Interpreter: Avoid outputting an empty line after each line of input
There is a class called @OSTREAM@ in @Interpreter.H:274@.
Perhaps that class could contain a flag which says wheth...
John Abbott
16:23 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
I'm very tempted just to remove this empty line in all cases.... after all I also remove them in the manual and in my... Anna Maria Bigatti
15:56 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
Perhaps the interpreter needs to have a flag saying whether a newline should be printed before printing the prompt.
...
John Abbott
15:28 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
The line printing the newline is this, in @LineProviders.H@:... Anna Maria Bigatti
16:31 Feature #883: gin: return/print a suitable change of variables
John Abbott wrote:
> Printing out the changes of coordinates is OK as a "temporary fix".
Well, depends on what We...
Anna Maria Bigatti
11:43 Feature #883: gin: return/print a suitable change of variables
Printing out the changes of coordinates is OK as a "temporary fix".
An equivalent function in CoCoALib should cert...
John Abbott
10:19 Feature #883 (Feedback): gin: return/print a suitable change of variables
Final decision is:
- two good changes of coordinates are printed when verbosity is set
- a simpler change of coordi...
Anna Maria Bigatti
14:12 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
John Abbott wrote:
> It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
@<type>@ is used for...
Anna Maria Bigatti
11:47 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
Better @types@ than @keywords@?
John Abbott
11:41 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
also added ... Anna Maria Bigatti
11:24 Support #1023 (Resolved): CoCoAManual for verbosity: how to find which levels? how to find which functions?
Anna Maria Bigatti
11:20 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
I refined my idea: now a function implementing verbosity should have these lines in its manual entry... Anna Maria Bigatti
11:36 Feature #996: New function: IdealOfGBasis
OK to put @IdealOfGBasis@ into @SparsePolyRing.C@ assuming you are convinced that that is the right place.
What ab...
John Abbott
09:57 Feature #996 (Resolved): New function: IdealOfGBasis
Anna Maria Bigatti
09:56 Feature #996: New function: IdealOfGBasis
John Abbott wrote:
> I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in Co...
Anna Maria Bigatti
10:55 Support #1040 (Feedback): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
done, and checked in.
Anna Maria Bigatti
10:01 Support #1040 (Closed): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
Write manual entry Anna Maria Bigatti
10:13 Feature #734 (Closed): Primary Decomposition in CoCoA-5: zero dimensional, zero characteristic
All done Anna Maria Bigatti
10:09 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
To do:
- call TwinFloat
- check documentation
- Now called ApproxPointsNBM/SOI: find better acronym
Laura, Claud...
Anna Maria Bigatti
09:48 Bug #994 (Closed): SEGV: Toric example from Kazuki Maeda
Anna Maria Bigatti

06 Apr 2017

23:48 Feature #1038: Emacs: sent interrupt to CoCoA
I have just checked in a new version which should use @use-region-p@ if that fn is defined, o/w it uses @region-activ... John Abbott
14:10 Feature #1038: Emacs: sent interrupt to CoCoA
Well done! :-)
I have made a small change: call @use-region-p@ instead of @region-active-p@
If I understand corr...
John Abbott
09:34 Feature #1038 (Feedback): Emacs: sent interrupt to CoCoA
Done it!
I've been lucky and found @comint-interrupt-subjob@ quickly.
I had some problems in testing it (@load-file...
Anna Maria Bigatti

05 Apr 2017

17:46 Feature #1038: Emacs: sent interrupt to CoCoA
John Abbott wrote:
> @C-c C-q@ for "hard quit" (or @QUIT@ in the emacs-cocoa menu).
there is already @C-c C-k@ "k...
Anna Maria Bigatti
13:33 Feature #1038: Emacs: sent interrupt to CoCoA
Adding a new key-sequence should be quite easy; actually you probably need 2 new key-sequences (one for @C-c C-c@ eqi... John Abbott
11:30 Feature #1038 (In Progress): Emacs: sent interrupt to CoCoA
There are emacs commands *@region-active-p@* and *@use-region-p@*.
After reading the manual, I'm not really sure wha...
John Abbott
07:42 Feature #1038: Emacs: sent interrupt to CoCoA
John Abbott wrote:
> It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer...
Anna Maria Bigatti

04 Apr 2017

18:35 Feature #1038: Emacs: sent interrupt to CoCoA
It would be nice.
It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer, b...
John Abbott
17:53 Feature #1038 (Closed): Emacs: sent interrupt to CoCoA
It would be handy to have a menu item or a key-binding to send interrupt to the *cocoa5* buffer from a cocoa file. Anna Maria Bigatti
 

Also available in: Atom