Activity
From 10 Nov 2014 to 09 Dec 2014
05 Dec 2014
- 22:40 Feature #652 (In Progress): Flag to enable/disable printing of list of loaded packages
- I have modified @Main.C@ but not checked in -- will discuss with Anna first.
* replaced @bool printPremable@ by @int...
04 Dec 2014
- 15:39 Feature #653: Emacs UI: use "warning colour" for an unmatched */
- I agree, it would be nice.
But I have no idea how to achieve it :-( - 15:22 Feature #653: Emacs UI: use "warning colour" for an unmatched */
- Not very important --> low priority.
Not sure how easy this might be; given the low importance, I'd say it's worth d... - 15:20 Feature #653 (New): Emacs UI: use "warning colour" for an unmatched */
- It may be helpful to have the emacs UI use a visible "warning colour" for an unmatched @*/@ comment end marker.
28 Nov 2014
- 11:40 Feature #652: Flag to enable/disable printing of list of loaded packages
- Anna points out that there is already a similar flag (@--no-preamble@) which is used when running the CoCoA-5 tests (...
- 11:15 Feature #652: Flag to enable/disable printing of list of loaded packages
- I have made this change:
the list of packages loaded at the start are printed into @ostringstream PkgOut@ (in Main.C... - 11:06 Feature #652 (Closed): Flag to enable/disable printing of list of loaded packages
- Add a command-line flag to enable printing of package names as they are loaded. Currently the names are always print...
12 Nov 2014
- 11:26 Bug #650: CoCoA-5 test (SourceAnna); problem in HilbertPoly
- I have already reported by phone that there is a problem (with @SourceAnna@) on 32-bit Linux.
On my 64-bit MacOSX ... - 11:22 Bug #650 (Closed): CoCoA-5 test (SourceAnna); problem in HilbertPoly
- Sometimes the CoCoA-5 test @SourceAnna@ fails (on 64-bit MacOSX).
The problem appears when executing the line:
<p...
10 Nov 2014
- 16:42 Design #646: Unique copies of free modules?
- I propose putting all the technical discussion in #647, a parallel issue to this one (since practically all the real ...
- 16:33 Design #646 (New): Unique copies of free modules?
- A recent bug report from Oneto suggests that it is surprising/unnatural that @NewFreeModule@ should create distinct (...
Also available in: Atom