CoCoA » CoCoA-5

29 Aug 2014

12:44 0.50 hour (Support #609 (Closed): Package "empty.cpkg5")

done Anna Maria Bigatti

12:33 0.10 hour (Support #609 (Closed): Package "empty.cpkg5")

Why? John Abbott

12:30 0.25 hour (Feature #500 (Closed): Interpreter: is it possible to avoid useless prompts?)

Checked in John Abbott

12:05 0.25 hour (Feature #500 (Closed): Interpreter: is it possible to avoid useless prompts?)

Better solution? John Abbott

11:58 2.00 hours (Feature #500 (Closed): Interpreter: is it possible to avoid useless prompts?)

Not easy John Abbott

11:55 0.50 hour (Feature #608 (Closed): Emacs UI: C-return for send-line and send-region)

test on emacs 22 Anna Maria Bigatti

11:54 0.50 hour (Feature #608 (Closed): Emacs UI: C-return for send-line and send-region)

test on emacs 22 Anna Maria Bigatti

28 Aug 2014

17:42 0.50 hour (Feature #608 (Closed): Emacs UI: C-return for send-line and send-region)

Impl'ed John Abbott

16:14 0.10 hour (Feature #608 (Closed): Emacs UI: C-return for send-line and send-region)

Unclear John Abbott

16:57 1.00 hour (Bug #433 (Closed): EMACS UI: trouble with sending a long line)

Cleaned up soln John Abbott

15:37 0.75 hour (Bug #433 (Closed): EMACS UI: trouble with sending a long line)

Ugly solution John Abbott

14:45 0.25 hour (Bug #433 (Closed): EMACS UI: trouble with sending a long line)

Compromise suggestion John Abbott

16:44 0.25 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)

Close? John Abbott

15:56 0.25 hour (Design #607 (Closed): Emacs UI; remove send-buffer?)

first reply Anna Maria Bigatti

14:19 0.25 hour (Feature #588 (Closed): Resume code for "gin" (generic initial ideal))

Should not print anything! John Abbott

12:54 0.25 hour (Bug #321 (Closed): interpreter proposes no near misses for "bin")

More comments John Abbott

12:43 0.30 hour (Bug #104 (Closed): Misprints suggestions: Z --> ZZ)

Another clue John Abbott

11:00 0.50 hour (Bug #104 (Closed): Misprints suggestions: Z --> ZZ)

example Anna Maria Bigatti

27 Aug 2014

18:32 0.25 hour (Bug #104 (Closed): Misprints suggestions: Z --> ZZ)

trying to understand where the problem is Anna Maria Bigatti

01 Aug 2014

09:41 1.00 hour (Feature #603 (Closed): Resume CheckArgTypes)

all done Anna Maria Bigatti

31 Jul 2014

17:36 2.00 hours (Support #325 (Closed): CoCoAManual: display syntax first)

emacs macro! Anna Maria Bigatti

15:13 0.50 hour (Support #169 (Closed): Font for parameters in manual)

rules listing Anna Maria Bigatti

15:08 0.50 hour (Design #294 (Closed): BuiltInFunctions: General "OneLiner" for arguments of different type)

resolved? Anna Maria Bigatti