CoCoA » CoCoA-5

14 Sep 2020

18:19 Support #1486: Emacs UI: indentation in a package

JAA is uncertain about this.
On the one hand the "strange" indentation of package variable assignments highlights ... John Abbott

18:16 Support #1486 (In Progress): Emacs UI: indentation in a package

Bernhard Andraschko reports the following anomaly.
Inside a package variables are indented, but all other package ... John Abbott