Activity
From 02 Nov 2019 to 01 Dec 2019
29 Nov 2019
- 17:21 Feature #1372 (In Progress): New function: find ?
- Should we add the function *find* (similar to C++ *find*)?
This is a quick and easy prototype (should be easy to wri...
27 Nov 2019
- 22:42 Feature #1364 (In Progress): Emacs UI: start cocoa5 with system command enabled
- Prototype sent to Anna via email, so she can test it.
24 Nov 2019
- 13:11 Support #1368 (Resolved): Improve manual for mod
- The solution to Ange's problem is to compute @mod(a-b,p)@; this will be zero iff @a@ and @b@ are congruent modulo @p@...
- 13:04 Support #1368 (In Progress): Improve manual for mod
- Currently the manual and the implementation are incompatible. The manual says that the remainder is always non-negat...
- 12:58 Support #1368 (Closed): Improve manual for mod
- The manual entry for *@mod@* needs to be improved.
Ange recently reported that *@mod(a,p) = mod(b,p)@* did not wor... - 12:51 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz
- I'm hoping that this should be easy (at least on Linux).
On my linux box, compilation and linking work fine with nor... - 12:49 Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz
- The last release was linked with an "old" version of normaliz. Make the next release with a more recent version (_e....
- 12:46 Design #1352 (Resolved): cocoa5 (launch) script: sleep time
- I have just tried @xterm -e ./cocoa5@, and now prefer a 4 second wait after printing the message (perhaps it should b...
21 Nov 2019
- 14:17 Support #1365 (New): Package EdgeIdeal not documented
- While preparing to present "graph colouring" I discovered a few mins ago that *@ChromaticNumber@* is a package-export...
18 Nov 2019
- 10:51 Feature #1364: Emacs UI: start cocoa5 with system command enabled
- John Abbott wrote:
> Here are two possible ways to implement:
> * *(A)* new emacs commands _e.g._ *@cocoa5-with-sys...
15 Nov 2019
- 15:40 Feature #1364: Emacs UI: start cocoa5 with system command enabled
- Ange's situation is that she has the source code in @file.cocoa5@ and wants to send it to CoCoA-5 with @SystemCommand...
- 15:30 Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled
- Ange wants to use @SystemCommand@ inside some of her code, but when she starts CoCoA-5 from inside emacs @SystemComma...
- 15:28 Support #677: Credits to CoCoA-5 contributors
- * *Manual page* this is probably simplest to implement (and likely to suffice for all or almost all uses)
* *Functi...
13 Nov 2019
- 16:56 Slug #1363: Emacs UI: slow with long lines
- Original location of link was ...
- 16:55 Slug #1363 (In Progress): Emacs UI: slow with long lines
- I have found mention of *@so-long.el@* for emacs which is supposed to help with long lines.
We should investigate.
09 Nov 2019
- 21:45 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- Checked into CVS.
I had added a fn for sending a string to the running *cocoa5* buffer; I have not yet altered any f... - 09:18 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- Tried on two (oldish) version of emacs.
Both work.
07 Nov 2019
- 20:17 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I noticed quite a lot of "almost duplication" in the *@cocoa5.el@* file. We should try to reduce that: more work for...
- 18:37 Feature #1358 (In Progress): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I have a first version which seems to work: after *@(goto (point-max))@* I have inserted *@(move-beginning-of-line ni...
- 17:43 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I think it is probably a good idea to clear the last line (assuming this can be done reasonably easily in emacs).
...
Also available in: Atom