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