Martin Henz

The stepper's use of breakpoints is quite lame right now: It switches to the stepper when a breakpoint is set, but it doesn't do anything with the breakpoints. It seems...

The latter option should be done together with many other strings shown in the academy. i18n will take care of this.

@shenyih0ng can you check this and close the issue if possible?

I'd like to suggest that we remove mission-control from the system. We are not using it. We should focus on the unique features. WYSIWYG XML editing should be done with...

Hints re removed already. Validation and type checking is uniformly done on the prelude and the program.

Just confirming: this is not resolved.

Works in both SA @ NUS and SA.org.

The screenshot is obsolete: Runes are now in a tab on the upper right. One tab for each loaded module. The overall gist of this Issue is still valid: We...

Subsumed by #2310

Obsolete: No more "libraries": we have "modules" now.