Activity
From 21 Feb 2014 to 22 Mar 2014
22 Mar 2014
-
22:31 CoCoA-5 0.25 hour (Design #491 (In Progress): Cleaning: Cruft in CoCoA-5 packages)
- These need attention
-
22:22 CoCoA-5 0.50 hour (Support #208 (Closed): describe $package)
- Anna please check
-
10:57 CoCoA-5 0.25 hour (Design #481 (Closed): Multiline comments -- obsolescent?)
- Almost solved?
-
10:21 CoCoA-5 0.50 hour (Design #481 (Closed): Multiline comments -- obsolescent?)
- Increased warning level
-
10:48 CoCoA-5 0.25 hour (Bug #471 (Closed): Nested multiline comments)
- Added warning about possible nested comment
-
10:26 CoCoA-5 0.50 hour (Bug #471 (Closed): Nested multiline comments)
- An idea
21 Mar 2014
-
15:16 CoCoA-5 0.10 hour (Design #490 (Closed): Duplicate fns: valuation and FactorMultiplicity)
- Relevant source code
-
15:13 CoCoALib 0.50 hour (Feature #209 (Closed): ReadExpr: input polynomials in CoCoALib)
- changed arguments (s, P) into (P,s)
-
14:40 CoCoALib 0.25 hour (Feature #209 (Closed): ReadExpr: input polynomials in CoCoALib)
- testing
-
14:30 CoCoA-5 0.25 hour (Support #395 (Closed): Naming conventions: upper or lower case?)
- Packages do not need BackwardCompatible
-
14:18 CoCoALib 0.25 hour (Design #411 (Closed): design of factorization template class)
- Wake up!
-
14:15 CoCoA-5 0.50 hour (Bug #446 (Closed): intersection fails with zero ideal)
- added test
-
12:32 CoCoA-5 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Use assertions
-
09:53 CoCoA-5 0.50 hour (Bug #446 (Closed): intersection fails with zero ideal)
- done and added to test-ideal1
-
14:14 CoCoALib 0.25 hour (Feature #457 (Closed): Zero to the power zero, 0^0)
- Closing after 0.5 month in feedback
-
14:09 CoCoA-5 1.00 hour (Support #489 (Closed): CoCoAManual: Doc for strings)
- Some already done
-
12:10 CoCoALib 0.25 hour (Slug #479 (Closed): make check in examples/ directory is far too slow)
- Much faster
-
11:59 CoCoA-5 0.50 hour (Feature #330 (Closed): Syzygy for modules: homogeneous module)
- tested: done for homog input
-
11:57 CoCoA-5 0.25 hour (Support #488 (Closed): CoCoAManual: Help page for porting old C4 code to C5)
- Also put advice on each manual page
-
10:47 CoCoA-5 0.50 hour (Support #488 (Closed): CoCoAManual: Help page for porting old C4 code to C5)
- Advice
-
11:46 CoCoA-5 0.25 hour (Support #398 (Closed): Resurrect Relnotes())
- empty file now in CVS
-
11:35 CoCoA-5 0.25 hour (Feature #372 (Closed): add IsFactorClosed)
- minor change in doc
-
11:30 CoCoA-5 0.25 hour (Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct)
- closing
-
11:18 CoCoALib 0.25 hour (Design #455 (New): Which sets of generators in an ideal?)
- myMinGens
-
10:46 CoCoALib 0.25 hour (Feature #366 (Closed): function (CoCoALib) for minimal generators (like old Minimalize))
- What should minimalize do?
-
10:31 CoCoA-5 0.50 hour (Feature #487 (New): ScalarProduct accepts MatrixRow?)
- Undecided
-
10:30 CoCoA-5 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- added Not, NOT
-
10:27 CoCoA-5 0.50 hour (Feature #365 (Closed): add function to compute minimal generators (like Minimalize))
- added GeneralMinGens
-
10:03 CoCoA-5 0.50 hour (Feature #365 (Closed): add function to compute minimal generators (like Minimalize))
- testing
-
09:36 CoCoA-5 1.00 hour (Support #348 (Closed): CoCoA website: CoCoA-5.0.3 pages)
- improved download page
20 Mar 2014
-
17:34 CoCoA-5 0.25 hour (Bug #486 (New): Warning about variable hiding another -- too zealous)
- Determining the scope of a variable
-
17:24 CoCoA-5 0.50 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5)
- userinit?
-
17:05 CoCoA-5 0.25 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5)
- Location of init file
-
14:37 CoCoA-5 0.50 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5)
- testing
-
10:53 CoCoA-5 0.10 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5)
- File name?
-
10:51 CoCoA-5 0.25 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5)
- A good idea!
-
10:13 CoCoA-5 0.50 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5)
- solution suggested
-
17:22 CoCoA-5 0.25 hour (Bug #118 (Closed): unistd and call to access in Main.C)
- Closing after >12 months in feedback
-
11:13 CoCoA-5 0.50 hour (Design #481 (Closed): Multiline comments -- obsolescent?)
- suggestion for warning-level
-
09:34 CoCoALib 0.25 hour (Feature #482 (In Progress): Unique copies of rings -- smart ctor)
- some comments
-
09:18 CoCoA-5 0.25 hour (Feature #484 (Closed): Evaluate in other ring (was called :: in CoCoA-4))
- first comment
19 Mar 2014
-
21:55 CoCoA-5 0.25 hour (Feature #484 (Closed): Evaluate in other ring (was called :: in CoCoA-4))
- Some design considerations
-
21:37 CoCoA-5 0.25 hour (Design #483 (New): Unique copies of rings in CoCoA-5)
- Indep of CoCoALib?
-
21:28 CoCoALib 0.25 hour (Feature #482 (In Progress): Unique copies of rings -- smart ctor)
- What does "the same" mean?
-
21:22 CoCoALib 0.50 hour (Feature #482 (In Progress): Unique copies of rings -- smart ctor)
- Some design considerations
-
21:07 CoCoA-5 0.25 hour (Feature #18 (Closed): Printing matrices: I/O unified style for CoCoA-5?)
- Stating the obvious?
-
16:38 CoCoA-5 1.50 hour (Feature #18 (Closed): Printing matrices: I/O unified style for CoCoA-5?)
- printing the ring proper when possible
-
21:00 CoCoA-5 0.50 hour (Feature #274 (In Progress): InputForm for output readable as input)
- Some design considerations
-
17:51 CoCoA-5 1.00 hour (Design #473 (Closed): Multiline string literals - useful or obsolescent?)
- Checked in
-
12:34 CoCoA-5 1.00 hour (Design #473 (Closed): Multiline string literals - useful or obsolescent?)
- Revised code
18 Mar 2014
-
17:45 CoCoA-5 0.25 hour (Bug #469 (Resolved): Emacs UI: keywords in multiline comments)
- Too costly
-
17:35 CoCoA-5 0.50 hour (Design #481 (Closed): Multiline comments -- obsolescent?)
- JAA opinion
-
17:08 CoCoA-5 0.25 hour (Design #473 (Closed): Multiline string literals - useful or obsolescent?)
- Our options
-
16:58 CoCoA-5 0.25 hour (Design #473 (Closed): Multiline string literals - useful or obsolescent?)
- Relevant source code
-
16:45 CoCoA-5 0.50 hour (Bug #471 (Closed): Nested multiline comments)
- Too hard
-
16:29 CoCoA-5 0.50 hour (Bug #470 (Closed): Emacs UI: cocoa5-close-block should beep when there is no block to close)
- My fault
-
15:52 CoCoA-5 0.25 hour (Bug #460 (Closed): Emacs UI: updating abbrev-table)
- What to do?
-
15:48 CoCoA-5 0.25 hour (Feature #346 (Closed): Describe should indicate package name)
- Another idea
-
12:14 CoCoA-5 0.25 hour (Feature #346 (Closed): Describe should indicate package name)
- More relevant code
-
12:03 CoCoA-5 0.25 hour (Feature #346 (Closed): Describe should indicate package name)
- Relevant source code
-
15:28 CoCoA-5 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Closing after 0.5 month in feedback
-
15:10 CoCoA-5 0.25 hour (Bug #394 (Rejected): problem with ContentFreeFactor (and missing manual entry))
- Too vague
-
14:37 CoCoA-5 0.50 hour (Support #208 (Closed): describe $package)
- Seems OK
-
12:41 CoCoA-5 0.25 hour (Support #208 (Closed): describe $package)
- Modified code
-
12:22 CoCoA-5 0.25 hour (Support #208 (Closed): describe $package)
- Relevant source code
17 Mar 2014
-
21:00 CoCoALib 0.25 hour (Slug #479 (Closed): make check in examples/ directory is far too slow)
- The worst culprits
-
11:34 CoCoA-5 0.25 hour (Bug #471 (Closed): Nested multiline comments)
- Perhaps why
-
09:50 CoCoA-5 0.25 hour (Bug #471 (Closed): Nested multiline comments)
- some comments
-
09:42 CoCoA-5 0.25 hour (Design #478 (Closed): Use of dollar-dot ($.) in packages)
- some comments
14 Mar 2014
-
20:46 CoCoA-5 0.50 hour (Design #477 (New): Eliminate keyword Alias?)
- Removed some instances
-
12:24 CoCoA-5 0.50 hour (Bug #471 (Closed): Nested multiline comments)
- A use for multiline comments
13 Mar 2014
-
18:06 CoCoA-5 2.00 hours (Bug #470 (Closed): Emacs UI: cocoa5-close-block should beep when there is no block to close)
- elisp point-is-in-code
-
14:49 CoCoA-5 0.25 hour (Bug #470 (Closed): Emacs UI: cocoa5-close-block should beep when there is no block to close)
- An idea
-
16:52 CoCoA-5 0.25 hour (Design #473 (Closed): Multiline string literals - useful or obsolescent?)
- Backward compatibility
-
15:33 CoCoA-5 0.25 hour (Design #473 (Closed): Multiline string literals - useful or obsolescent?)
- An alternative
-
15:20 CoCoA-5 0.25 hour (Design #472 (Closed): Record keyword)
- Also emacs UI
-
12:35 CoCoA-5 1.00 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)
- made "older" page
12 Mar 2014
-
23:39 CoCoA-5 0.50 hour (Bug #460 (Closed): Emacs UI: updating abbrev-table)
- found solution
-
22:52 CoCoA-5 0.50 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands)
- added entry "allcocoacommands"
-
14:13 CoCoA-5 0.25 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands)
- More precisely
-
13:55 CoCoA-5 0.25 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands)
- suggestion
-
12:39 CoCoA-5 0.10 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands)
- Commands not functions!
-
18:09 CoCoA-5 0.50 hour (Bug #471 (Closed): Nested multiline comments)
- It works!?!
-
17:44 CoCoA-5 0.25 hour (Bug #471 (Closed): Nested multiline comments)
- Changes to parser
-
17:20 CoCoA-5 0.50 hour (Bug #471 (Closed): Nested multiline comments)
- Modified packages
-
16:26 CoCoA-5 0.25 hour (Bug #471 (Closed): Nested multiline comments)
- Updated manual
-
16:06 CoCoA-5 0.25 hour (Bug #471 (Closed): Nested multiline comments)
- Another variant
-
16:01 CoCoA-5 0.50 hour (Bug #471 (Closed): Nested multiline comments)
- More thoughts
-
15:42 CoCoA-5 0.50 hour (Bug #471 (Closed): Nested multiline comments)
- Obsolescent?
-
13:54 CoCoA-5 0.50 hour (Bug #470 (Closed): Emacs UI: cocoa5-close-block should beep when there is no block to close)
- Some test cases
-
13:31 CoCoA-5 0.10 hour (Bug #469 (Resolved): Emacs UI: keywords in multiline comments)
- Why it is unimportant
-
13:27 CoCoA-5 0.25 hour (Bug #469 (Resolved): Emacs UI: keywords in multiline comments)
- Tricky to do it right
-
13:07 CoCoA-5 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)
- Global emacs variable
-
12:59 CoCoA-5 0.50 hour (Bug #468 (New): Emacs UI: indentation is wrong after ?keyword)
- Some hints
11 Mar 2014
-
00:22 CoCoALib 0.50 hour (Support #467 (Closed): Keep CoCoALib web page up to date! All pages!)
- some fixes
-
17:49 CoCoA-5 0.25 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands)
- Useful for...
-
17:43 CoCoA-5 0.25 hour (Slug #465 (New): Emacs UI; remove cruft)
- Other ideas
-
17:21 CoCoA-5 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)
- General solution
-
17:20 CoCoA-5 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)
- General solution
-
14:56 CoCoA-5 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)
- some comments
-
13:02 CoCoA-5 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)
- Open source :-)
-
12:58 CoCoA-5 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)
- Some useful emacs fns
-
12:14 CoCoA-5 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)
- Other ideas
-
11:59 CoCoA-5 1.00 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)
- First prototype
09 Mar 2014
-
21:19 CoCoA-5 0.50 hour (Bug #462 (Closed): Emacs UI: semicolon problems)
- Probable cause
-
10:21 CoCoA-5 0.10 hour (Bug #460 (Closed): Emacs UI: updating abbrev-table)
- Name
-
10:17 CoCoA-5 0.50 hour (Bug #460 (Closed): Emacs UI: updating abbrev-table)
- Some ideas
07 Mar 2014
-
18:13 CoCoALib 0.25 hour (Support #195 (Closed): OrdvArith documentation needs rewriting)
- Closing after 1 month in feedback
-
18:05 CoCoALib 0.25 hour (Feature #407 (Closed): RingElem ctor from mpz_t (from Bruns))
- Seems OK
-
15:25 CoCoA-5 0.25 hour (Feature #371 (Closed): Resurrect LinearSimplify)
- Closing after 9 months in feedback
-
13:35 CoCoA-5 0.10 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- regexp
-
13:01 CoCoA-5 0.50 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Test case
-
12:48 CoCoA-5 0.75 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Works better
-
12:03 CoCoA-5 0.50 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Imperfect
-
11:36 CoCoA-5 0.75 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Improvement
-
12:49 CoCoA-5 0.25 hour (Bug #394 (Rejected): problem with ContentFreeFactor (and missing manual entry))
- don't know why I started this
06 Mar 2014
-
20:53 CoCoA-5 0.25 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Some hints
-
20:43 CoCoA-5 0.25 hour (Support #406 (Closed): Manual for CoCoAManual/CoCoAHelp.xml)
- Fonts, and ...
-
20:38 CoCoA-5 0.10 hour (Bug #394 (Rejected): problem with ContentFreeFactor (and missing manual entry))
- What?
-
20:35 CoCoA-5 0.75 hour (Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture")
- Just for the record
-
17:15 CoCoALib 1.00 hour (Feature #457 (Closed): Zero to the power zero, 0^0)
- Implemented and tested.
-
15:32 CoCoALib 0.50 hour (Feature #457 (Closed): Zero to the power zero, 0^0)
- Often useful
05 Mar 2014
-
17:00 CoCoA-5 0.50 hour (Bug #444 (Closed): Not keyword/operator)
- Mostly done
-
16:50 CoCoA-5 0.25 hour (Feature #451 (In Progress): Port function NewSymbol/NewSymbols to CoCoA-5)
- An idea
-
16:12 CoCoA-5 0.75 hour (Feature #453 (In Progress): Automatic conversion from INT (or RAT) to RINGELEM)
- Implemented
-
15:26 CoCoA-5 0.50 hour (Feature #372 (Closed): add IsFactorClosed)
- Empty list gives error
-
12:21 CoCoA-5 0.50 hour (Bug #197 (Closed): ./C5.bin: fork: Resource temporarily unavailable)
- Cannot reproduce
04 Mar 2014
-
15:22 CoCoA-5 0.25 hour (Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct)
- fix was easier than expected
-
15:16 CoCoA-5 2.00 hours (Support #369 (Closed): write documentation for TgCone and other function from the "primary" package)
-
09:58 CoCoA-5 0.25 hour (Feature #372 (Closed): add IsFactorClosed)
- Doubts
03 Mar 2014
-
22:14 CoCoA-5 0.25 hour (Feature #372 (Closed): add IsFactorClosed)
- Fixed
-
19:21 CoCoA-5 0.25 hour (Feature #372 (Closed): add IsFactorClosed)
- suggestions
-
19:15 CoCoA-5 0.50 hour (Feature #306 (Closed): Function for accessing the pointed value)
- now in feedback
-
19:04 CoCoALib 0.50 hour (Design #455 (New): Which sets of generators in an ideal?)
- thinking..
-
19:00 CoCoA-5 0.50 hour (Design #449 (Closed): Emacs UI: names of emacs fns)
- done
-
17:59 CoCoA-5 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- I trust John. Closing
-
17:56 CoCoA-5 0.50 hour (Bug #418 (Closed): What does interreduce do?)
- done some tests, I convinced myself it's correct, closing
01 Mar 2014
-
10:06 CoCoALib 1.00 hour (Feature #209 (Closed): ReadExpr: input polynomials in CoCoALib)
- added doc
-
10:03 CoCoALib 1.00 hour (Support #452 (Closed): Documentation for adding functions to CoCoA-5 (BuiltInFunctions and BuiltInOneLiners))
- started
28 Feb 2014
-
17:10 CoCoALib 0.75 hour (Feature #426 (Closed): ConvertTo with optional arg to give more helpful error message)
- example and documentation
-
16:30 CoCoALib 1.00 hour (Feature #426 (Closed): ConvertTo with optional arg to give more helpful error message)
- tested, nice!
-
15:51 CoCoA-5 1.50 hour (Feature #451 (In Progress): Port function NewSymbol/NewSymbols to CoCoA-5)
- understood that this is a design problem
27 Feb 2014
-
09:44 CoCoA-5 0.25 hour (Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc))
- Version number
26 Feb 2014
-
17:09 CoCoA-5 0.25 hour (Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc))
- Some old issues
-
16:54 CoCoA-5 0.25 hour (Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc))
- To do
-
17:01 CoCoA-5 0.10 hour (Feature #175 (In Progress): Approximate BuchbergerMoeller: port to CoCoA-5)
- JAA
-
16:48 CoCoA-5 0.25 hour (Bug #197 (Closed): ./C5.bin: fork: Resource temporarily unavailable)
- Still happens?
-
11:46 CoCoA-5 0.50 hour (Feature #414 (Closed): New fn to increase max recursion depth)
- Command line option
-
11:18 CoCoA-5 0.25 hour (Feature #328 (Closed): Swap)
- Seems fast
25 Feb 2014
-
16:11 CoCoA-5 0.25 hour (Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct)
- How to get the man page?
-
15:40 CoCoA-5 1.00 hour (Feature #372 (Closed): add IsFactorClosed)
- Now in C++
-
10:58 CoCoA-5 0.25 hour (Feature #328 (Closed): Swap)
- Hints?
-
10:40 CoCoA-5 0.25 hour (Feature #414 (Closed): New fn to increase max recursion depth)
- As I feared
24 Feb 2014
-
22:42 CoCoA-5 1.50 hour (Feature #414 (Closed): New fn to increase max recursion depth)
- First impl
-
18:20 CoCoA-5 0.25 hour (Feature #414 (Closed): New fn to increase max recursion depth)
- KISS
-
18:15 CoCoA-5 0.25 hour (Feature #380 (Closed): Add Frobby functions to cocoa-5)
- Closing after 9 months in feedback
-
18:13 CoCoA-5 0.25 hour (Feature #372 (Closed): add IsFactorClosed)
- Move impl to C++
-
18:07 CoCoA-5 0.25 hour (Feature #212 (Closed): NBM: add to CoCoA-5)
- Closing after >12 months in feedback
-
18:05 CoCoA-5 0.25 hour (Feature #328 (Closed): Swap)
- First impl
-
17:49 CoCoA-5 0.50 hour (Bug #444 (Closed): Not keyword/operator)
- Stepwise progress
-
17:41 CoCoA-5 1.00 hour (Bug #443 (Closed): lambda keyword)
- Implemented
22 Feb 2014
-
11:40 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- Next steps
-
10:22 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- Too short?
-
11:35 CoCoA-5 0.25 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)
- Various cases
-
10:58 CoCoA-5 0.25 hour (Bug #447 (Closed): CoCoA-5.0.3 Microsoft std::bad_alloc)
- OK on MacOS X 10.5.8
-
10:49 CoCoA-5 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Add CoCoALib tests
21 Feb 2014
-
18:37 CoCoA-5 0.75 hour (Bug #444 (Closed): Not keyword/operator)
- Stage 2 done
-
16:44 CoCoA-5 0.50 hour (Bug #444 (Closed): Not keyword/operator)
- Not -> not(...)
-
16:14 CoCoA-5 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Next steps
-
13:00 CoCoA-5 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Panic!
-
12:57 CoCoA-5 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Ouch!
-
01:29 CoCoA-5 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Nasty surprises?
-
16:18 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- Another idea for simple anon fns
-
16:07 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- Addendum
-
16:04 CoCoA-5 0.50 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
-
16:02 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
-
16:02 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
-
16:01 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
-
16:01 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- discussion
-
15:50 CoCoA-5 0.50 hour (Bug #443 (Closed): lambda keyword)
- More ideas
-
15:20 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- suggestions
-
13:16 CoCoA-5 0.25 hour (Bug #443 (Closed): lambda keyword)
- New keyword for anon fns
-
12:39 CoCoA-5 0.25 hour (Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3)
- Closing after 1 month in feedback
-
12:35 CoCoA-5 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 CoCoA-5 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Fixed?
-
11:59 CoCoA-5 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Need a more coherent approach?
-
11:39 CoCoA-5 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- looked at "colon"
20 Feb 2014
-
00:54 CoCoA-5 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Curiouser and curiouser
-
00:40 CoCoA-5 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Improve test suite
-
00:36 CoCoA-5 0.50 hour (Bug #446 (Closed): intersection fails with zero ideal)
- More info
Also available in: Atom