moved lib/next-resource to next-lib/src, to enable linking with next-lib as value of GF_LIB_PATH

2008-09-22 11:49:15 +00:00
parent 3d11bf48a3
commit aacf6945fb
465 changed files with 510 additions and 2574 deletions
@@ -0,0 +1,2 @@
+concrete ConjunctionNor of Conjunction = CatNor ** ConjunctionScand with
+  (ResScand = ResNor) ;