Activity
From 23 Jan 2014 to 21 Feb 2014
21 Feb 2014
- 18:37 0.75 hour (Bug #444 (Closed): Not keyword/operator)
- Stage 2 done
- 16:44 0.50 hour (Bug #444 (Closed): Not keyword/operator)
- Not -> not(...)
- 16:14 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Next steps
- 13:00 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Panic!
- 12:57 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Ouch!
- 01:29 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Nasty surprises?
- 16:18 0.25 hour (Bug #443 (Closed): lambda keyword)
- Another idea for simple anon fns
- 16:07 0.25 hour (Bug #443 (Closed): lambda keyword)
- Addendum
- 16:04 0.50 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
- 16:02 0.25 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
- 16:02 0.25 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
- 16:01 0.25 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
- 16:01 0.25 hour (Bug #443 (Closed): lambda keyword)
- discussion
- 15:50 0.50 hour (Bug #443 (Closed): lambda keyword)
- More ideas
- 15:20 0.25 hour (Bug #443 (Closed): lambda keyword)
- suggestions
- 13:16 0.25 hour (Bug #443 (Closed): lambda keyword)
- New keyword for anon fns
- 12:39 0.25 hour (Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3)
- Closing after 1 month in feedback
- 12:35 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Seems to work for me
- 12:18 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Fixed?
- 11:59 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Need a more coherent approach?
- 11:39 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- looked at "colon"
20 Feb 2014
- 00:54 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Curiouser and curiouser
- 00:40 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Improve test suite
- 00:36 0.50 hour (Bug #446 (Closed): intersection fails with zero ideal)
- More info
- 15:53 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Bad news
- 11:46 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- radical buggy too
- 15:34 0.25 hour (Bug #443 (Closed): lambda keyword)
- More examples
- 10:36 0.25 hour (Bug #443 (Closed): lambda keyword)
- Other suggestions
- 12:13 0.25 hour (Support #448 (New): EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate)
- Reported by...
19 Feb 2014
- 21:53 0.50 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Possible cause
- 21:34 0.25 hour (Feature #347 (Closed): C5 cannot compute derivative of a ratfn)
- Closing after 9 months in feedback
- 11:32 0.25 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)
- Get Tony to help?
14 Feb 2014
- 10:14 1.00 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)
- echo region
- 10:13 1.00 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)
- echo region
- 10:10 1.00 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)
- echo region
12 Feb 2014
10 Feb 2014
- 12:04 0.25 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)
- Outside help?
07 Feb 2014
- 00:41 0.25 hour (Bug #94 (Closed): Default reason for protected variables)
- Can we decide, impl, and close?
06 Feb 2014
- 14:46 0.25 hour (Slug #434 (New): Emacs UI: very slow when input file is big (with long lines))
- Long lines are the trouble
- 14:22 0.25 hour (Slug #434 (New): Emacs UI: very slow when input file is big (with long lines))
- Slow only when cursor is towards end of file
- 10:23 0.50 hour (Bug #433 (Closed): EMACS UI: trouble with sending a long line)
- Technical hitch with using SourceRegion
05 Feb 2014
- 23:55 0.25 hour (Feature #381 (Closed): Emacs User Interface: Easier binding for sending a line to cocoa-5)
- Other key sequences
30 Jan 2014
- 09:39 0.25 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)
- Non negative
29 Jan 2014
- 19:17 0.25 hour (Feature #270 (Closed): Distribution for linux)
- Hijacking this issue
28 Jan 2014
- 14:40 1.00 hour (Bug #418 (Closed): What does interreduce do?)
- checked and checked-in
27 Jan 2014
- 14:36 1.00 hour (Feature #367 (Closed): implement LF/DF for an ideal)
- written LF(ideal)
- 13:53 1.00 hour (Feature #367 (Closed): implement LF/DF for an ideal)
- code written in October 2012
24 Jan 2014
- 20:47 0.25 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)
- ElimOrdMat
- 20:30 0.25 hour (Bug #418 (Closed): What does interreduce do?)
- Can we close this?
- 13:54 0.25 hour (Design #424 (In Progress): Emacs UI: Name of emacs init file)
- An advantage of using the emacs directory
- 12:16 0.25 hour (Design #424 (In Progress): Emacs UI: Name of emacs init file)
- Compromise
- 11:51 0.25 hour (Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3)
- Seems to work for me
23 Jan 2014
- 13:47 0.50 hour (Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3)
- debugging, fixed, tested
- 11:39 0.25 hour (Slug #405 (Closed): ReducedGBasis not memorized in an ideal)
- Anytime soon?
Also available in: Atom