From e765b97fc483d5e737794a0aa90890ab2a1b2028 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 6 Oct 2008 12:49:13 +0000 Subject: simplified 1.5 by removing mathematical/ --- next-lib/src/api/SymbolicEng.gf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'next-lib/src/api/SymbolicEng.gf') diff --git a/next-lib/src/api/SymbolicEng.gf b/next-lib/src/api/SymbolicEng.gf index 0ce4725fa..c9b559a22 100644 --- a/next-lib/src/api/SymbolicEng.gf +++ b/next-lib/src/api/SymbolicEng.gf @@ -1,5 +1,5 @@ ---# -path=.:present:prelude +--# -path=.:present:mathematical:prelude resource SymbolicEng = Symbolic with (Symbol = SymbolEng), - (Syntax = SyntaxEng) ; + (Grammar = GrammarEng) ; -- cgit v1.2.3