Activity
From 02 Dec 2014 to 31 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.
Also available in: Atom