Phrasebook now compiles for Hin and Pes

2026-05-03 08:12:51 -06:00 · 2012-03-05 15:13:28 +00:00
parent 487acccef5
commit c3ef27293a
4 changed files with 12 additions and 4 deletions
--- a/lib/src/api/SymbolicPes.gf
+++ b/lib/src/api/SymbolicPes.gf
@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
+--# -path=.:alltenses:mathematical:prelude

 resource SymbolicPes = Symbolic with 
  (Symbol = SymbolPes),