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