extended Attempto with some constructs

2026-05-21 09:02:50 -06:00 · 2010-09-29 07:16:33 +00:00
parent 8fa5a50728
commit fe15579b31
8 changed files with 39 additions and 22 deletions
--- a/examples/attempto/AttemptoGer.gf
+++ b/examples/attempto/AttemptoGer.gf
@@ -1,6 +1,6 @@
 --# -path=.:/Users/aarne/GF/next-lib/present

-concrete AttemptoGer of Attempto = SymbolsC ** AttemptoI with
+concrete AttemptoGer of Attempto = SymbolsC, NumeralGer ** AttemptoI with
  (Syntax = SyntaxGer),
  (Symbolic = SymbolicGer),
  (LexAttempto = LexAttemptoGer) ;