(Est) Automatic whitespace removal

in its own commit,rather than have whitespace changes in content commits
2026-07-01 11:38:34 -06:00 · 2022-04-13 10:42:34 +08:00
parent 983274d239
commit 31c31b3e69
24 changed files with 539 additions and 538 deletions
@@ -29,7 +29,7 @@ lin
  SymbNum n = {s = \\_,_ => n.s ; isNum = True ; n = Pl} ;
  SymbOrd n = {s = \\_ => glue n.s "."} ;

-lincat 
+lincat

  Symb, [Symb] = SS ;