next-lib renamed to lib, lib to old-lib

src/romance/ExtraRomance.gf

@@ -0,0 +1,21 @@
+incomplete concrete ExtraRomance of ExtraRomanceAbs = CatRomance **
+  open 
+    CommonRomance,
+    Coordination,
+    ResRomance in {
+
+    lin TPasseSimple = {s = []} ** {t = RPasse} ;   --# notpresent
+
+  lincat
+    VPI   = {s : Str} ;
+    [VPI] = {s1,s2 : Str} ;
+  lin
+    BaseVPI = twoSS ;
+    ConsVPI = consrSS comma ;
+
+    MkVPI vp = {s = infVP vp (agrP3 Masc Sg)} ;
+    ConjVPI = conjunctDistrSS ;
+    ComplVPIVV v vpi = 
+      insertComplement (\\a => prepCase v.c2.c ++ vpi.s) (predV v) ;
+
+}