Project

General

Profile

Activity

From 31 Jul 2014 to 29 Aug 2014

29 Aug 2014

12:44 Support #609 (Resolved): Package "empty.cpkg5"
When I make a new package I copy an old one and empty it, and that's what I suggest to do to people (Elisa ;-) who ne... Anna Maria Bigatti
12:33 Support #609: Package "empty.cpkg5"
Why do you think it would be useful?
What do you think it should contain?
To be useful I suppose it ought to export...
John Abbott
12:30 Support #609 (Closed): Package "empty.cpkg5"
I think a package "packages/empty.cpkg5" would be useful. Anna Maria Bigatti
12:30 Feature #500: Interpreter: is it possible to avoid useless prompts?
I have checked in the code for automatic prompt suppression (in @Main.C:153@ and @LineProviders.C:85@; but the code i... John Abbott
12:05 Feature #500 (In Progress): Interpreter: is it possible to avoid useless prompts?
Since C++ is rather less than helpful in this matter, I think a better solution would be to add a command(s?) to the ... John Abbott
11:58 Feature #500: Interpreter: is it possible to avoid useless prompts?
This appears to be impossible in C++ (version 2003), at least in a fully portable way.
I have found a post which exp...
John Abbott
11:55 Feature #608: Emacs UI: C-return for send-line and send-region
Well done John! it works!
(almost: I had to make a tiny change to make it work also on emacs 22)
Now I have no exc...
Anna Maria Bigatti

28 Aug 2014

17:42 Feature #608 (Resolved): Emacs UI: C-return for send-line and send-region
I have added @cocoa5-send-line-or-region@ as well as bindings to @C-RET@ and @M-RET@.
Try it; see what you think (I ...
John Abbott
16:41 Feature #608: Emacs UI: C-return for send-line and send-region
John Abbott wrote:
> Not sure I understand what you mean.
> You want @C-return@ to send the region if a region is s...
Anna Maria Bigatti
16:14 Feature #608: Emacs UI: C-return for send-line and send-region
Not sure I understand what you mean.
You want @C-return@ to send the region if a region is selected, and otherwise t...
John Abbott
16:01 Feature #608 (Closed): Emacs UI: C-return for send-line and send-region
@C-return@ (or ALT/META/..-return) now calls cocoa5-send-line (in addition to the old C-c C-l)
and cocoa5-source-reg...
Anna Maria Bigatti
16:57 Bug #433: EMACS UI: trouble with sending a long line
I now have a cleaned solution -- our Emacs code is very "evolutionary" (rather than "intelligent design").
I'll ch...
John Abbott
15:37 Bug #433: EMACS UI: trouble with sending a long line
I have an ugly solution that appears to work fine in Emacs 23.2 and 24.1.
Now I'll try to make it neater.
John Abbott
14:45 Bug #433: EMACS UI: trouble with sending a long line
I suggest adopting the @SourceRegion@ solution; it seems fairly unlikely that saving the file could really be a probl... John Abbott
16:44 Feature #352: Should SourceRegion echo the "region"?
This issue has been idle for 5 months. I think we can close it.
Anna's solution is "ugly" (because it causes many...
John Abbott
15:56 Design #607: Emacs UI; remove send-buffer?
OK for removing it (I removed it some time ago from the "CoCoA-5 menu").
Maybe you should redefine the C-c C-b bindi...
Anna Maria Bigatti
15:43 Design #607 (Closed): Emacs UI; remove send-buffer?
There is an emacs UI function called @cocoa5-send-buffer@. Its effect is practically identical to that of @cocoa5-so... John Abbott
14:19 Feature #588: Resume code for "gin" (generic initial ideal)
I notice that the current definition will sometimes (almost never?) print out a message about trying again. This is ... John Abbott
12:54 Bug #321: interpreter proposes no near misses for "bin"
Now we get slightly different output:... John Abbott
12:43 Bug #104: Misprints suggestions: Z --> ZZ
Another important function is @maximumDistanceForSimilarIdentifiers@ (@Interpreter.C:921@) which says how many "chang... John Abbott
11:00 Bug #104: Misprints suggestions: Z --> ZZ
some more tests (just to understand what the algorithm is doing).... Anna Maria Bigatti

27 Aug 2014

18:40 Bug #104 (In Progress): Misprints suggestions: Z --> ZZ
Anna Maria Bigatti
18:32 Bug #104: Misprints suggestions: Z --> ZZ
Some tests:
@ZZ@ is suggested when giving @ZZZ@, or @zz@, so it is indeed in the list.
Maybe the problem is just th...
Anna Maria Bigatti
18:19 Bug #543 (Closed): Interpreter: problem when calling the manual with trailing spaces and comments
fixed Anna Maria Bigatti
18:17 Slug #99 (Closed): Function "insert": obsolescent
Anna Maria Bigatti
18:12 Feature #588 (Closed): Resume code for "gin" (generic initial ideal)
Anna Maria Bigatti
18:11 Feature #518 (Closed): incr/decr functions: to be used in packages
Anna Maria Bigatti
18:09 Design #525 (Closed): BuiltInFunctions: evalArgAsT1OrT2, evalArgAsT1OrT2OrT3, ... last argument
Anna Maria Bigatti
18:06 Bug #378 (Closed): Ungraceful behaviour: Source inside For loop
Anna Maria Bigatti

01 Aug 2014

10:56 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
the CoCoA-4 operator "::" is now in another specific issue.
For the time being I think that *ReadExpr* may be good e...
Anna Maria Bigatti
10:54 Feature #484 (Feedback): Evaluate in other ring (was called :: in CoCoA-4)
Anna Maria Bigatti
10:53 Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4)
CoCoA-4 has the *@::@* operator which evaluated expressions in a given ring:... Anna Maria Bigatti
10:36 Support #605 (Closed): Release: CoCoA-5.1.1
Everything for the release
finalize cvs
make
make doc
make ManExamples
in snapshot dir:
cd src/CoCoA-5/re...
Anna Maria Bigatti
09:41 Feature #603 (Closed): Resume CheckArgTypes
Done, tested, documented
Different from the cocoa-4 version: more flexible (see manual)
Anna Maria Bigatti
09:39 Feature #603 (Closed): Resume CheckArgTypes
Redesign CoCoA-4 function CheckArgTypes (for checking argument types, of course...) Anna Maria Bigatti

31 Jul 2014

17:36 Support #325: CoCoAManual: display syntax first
Even though I had closed this issue saying:
> Even though CoCoAHelp.xml isn't all written like that (too dangerous t...
Anna Maria Bigatti
15:15 Support #324 (Closed): Correct font for variable references in description
Duplicates #169: "Font for parameters in manual".
Design is all set there.
Closing this issue.
Anna Maria Bigatti
15:13 Support #169 (In Progress): Font for parameters in manual
As said in another issue:
- parameters should have the same name as in <syntax>
- <syntax> should be moved before <...
Anna Maria Bigatti
15:08 Design #294 (Resolved): BuiltInFunctions: General "OneLiner" for arguments of different type
Is the new approach in BuiltInFunctions good enough?
I think so: it is not a one-liner but it's very readable (look f...
Anna Maria Bigatti
15:06 Design #493 (Closed): Cleanup Hilbert package hp.cpkg5
Now all functions work. A proper clean-up and re-design is in another issue. Anna Maria Bigatti
 

Also available in: Atom