packages feed

gf-3.1.6: examples/attempto/AttemptoFre.gf

--# -path=.:present

concrete AttemptoFre of Attempto = SymbolsC ** AttemptoI with
  (Syntax = SyntaxFre),
  (Symbolic = SymbolicFre),
  (LexAttempto = LexAttemptoFre) ;