packages feed

gf-3.1.6: examples/attempto/AttemptoUrd.gf

--# -path=.:./present
concrete AttemptoUrd of Attempto = SymbolsC ** AttemptoI - [mustVP] with
  (Syntax = SyntaxUrd),
  (Symbolic = SymbolicUrd),
  (LexAttempto = LexAttemptoUrd) ;