Activity
From 19 Apr 2015 to 18 May 2015
18 May 2015
- 21:35 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 21:09 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 21:01 0.50 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 16:31 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 16:25 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 15:44 0.10 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 15:42 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy)
- Some notes
- 17:14 0.50 hour (Bug #698 (Closed): Emacs UI: problems with packages on windows)
- 17:10 0.25 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?)
- 16:57 1.00 hour (Support #706 (Closed): meaningful error for IDEAL <= IDEAL)
- 15:20 0.10 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?)
- bool or int?
- 15:02 1.00 hour (Feature #711 (Closed): External Libs: print credits?)
- 13:45 1.00 hour (Feature #711 (Closed): External Libs: print credits?)
- 12:21 0.25 hour (Feature #711 (Closed): External Libs: print credits?)
- Counters?
- 12:12 0.50 hour (Feature #711 (Closed): External Libs: print credits?)
- 11:11 0.10 hour (Feature #711 (Closed): External Libs: print credits?)
- More notes
- 11:05 0.25 hour (Feature #711 (Closed): External Libs: print credits?)
- Some notes
- 10:38 0.10 hour (Feature #700 (Closed): Which external libs are present?)
- Version number?
17 May 2015
- 10:33 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Call from CoCoALib?
- 10:12 0.25 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?)
- Some notes
15 May 2015
- 11:03 0.50 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands)
- 10:55 2.50 hours (Bug #643 (Closed): GenRepr fails if there are zero generators)
13 May 2015
- 17:20 0.10 hour (Feature #700 (Closed): Which external libs are present?)
- Not needed in CoCoALib?
- 16:41 0.75 hour (Feature #700 (Closed): Which external libs are present?)
- 12:09 0.25 hour (Feature #700 (Closed): Which external libs are present?)
- Some notes
12 May 2015
- 18:20 1.00 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?)
- 17:13 0.25 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?)
- Emacs hints
- 17:10 0.50 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?)
- first reply
- 15:36 1.00 hour (Bug #698 (Closed): Emacs UI: problems with packages on windows)
08 May 2015
- 13:32 0.25 hour (Feature #622 (Closed): New function: RandomSubset)
- Return value?
- 11:21 0.25 hour (Feature #652 (Closed): Flag to enable/disable printing of list of loaded packages)
- Bitten again
04 May 2015
24 Apr 2015
- 17:59 0.25 hour (Feature #622 (Closed): New function: RandomSubset)
- 11:23 0.10 hour (Feature #622 (Closed): New function: RandomSubset)
- Both?
- 11:20 0.30 hour (Feature #622 (Closed): New function: RandomSubset)
- Great minds think (almost) alike
- 11:34 0.20 hour (Feature #531 (Closed): Package protected variables should know which package protected them)
- Annoying
20 Apr 2015
- 11:17 0.20 hour (Bug #684 (Closed): Emacs UI: wrong name after auto-inserting enddefine)
- Works
- 10:31 0.25 hour (Bug #684 (Closed): Emacs UI: wrong name after auto-inserting enddefine)
19 Apr 2015
Also available in: Atom