3 Commits (9c5a4909389ff9f5fe57b1ba7e2c538abac5393b)

Author	SHA1	Message	Date
Lennart Spitzner	860c8771ae	Fix issue with indentation after block-comments	2023-05-18 15:42:48 +00:00
Lennart Spitzner	7ab6a207ae	Update OpApp layouting options ... - Allow par-spacing for single-operator 1+n-line layout - Tweak when to flatten operators, i.e. when to allow a flat one-line-each layout for the operator sequence "$ $ $ + +".	2023-05-02 09:16:44 +00:00
Lennart Spitzner	676695a609	Implement fixity-aware-ops feature	2023-05-02 09:16:03 +00:00