When editing occam code, it's often useful to make text line up with text on a line above it. The easy way to indicate this would be to make your text editor highlight the previous non-whitespace character that's in the same column.
When editing occam code, it's often useful to make text line up with text on a line above it. The easy way to indicate this would be to make your text editor highlight the previous non-whitespace character that's in the same column.
Copyright © 1997–2024 Adam Sampson
<ats@offog.org>