CoCoA » CoCoA-5

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... John Abbott

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 :-( Anna Maria Bigatti

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... John Abbott

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.
John Abbott

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 (... John Abbott

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... Anna Maria Bigatti

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... John Abbott