Merge remote-tracking branch 'upstream/master'

2019-06-03 13:40:27 +02:00
parent 7151b6f506 8c5702b43e
commit 23a0c24e88
104 changed files with 81563 additions and 5378 deletions
@@ -20,6 +20,7 @@ lin
 --    a = agrgP3 Sg cn.g
 --    } ;
 --
+
  SymbS sy = { s = \\_ => sy.s ; neg = \\_ => "" ; o = \\_ => "" ; p = PPos ; sadv = ss "" ; t = TPres ; v = \\_ => "" } ;
 --
  --  SymbNum sy = {s = sy.s ; n = Pl ; hasCard = True} ;