GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Math to mathematical/Symbol

Browse Source
This commit is contained in:
aarne
2006-01-31 14:04:38 +00:00
parent 5c9b9213d0
commit 755a3d4ccc
5 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
examples/tram/TramEng.gf
View File

@@ -1,5 +1,5 @@
--# -path=.:resource-1.0/abstract:resource-1.0/common:resource-1.0/multimodal:resource-1.0/english:prelude
--# -path=.:resource-1.0/abstract:resource-1.0/common:resource-1.0/multimodal:resource-1.0/english:prelude:resource-1.0/mathematical
concrete TramEng of Tram = TramI with
(Multimodal = MultimodalEng),
(Math = MathEng) ;
(Symbol = SymbolEng) ;

4
examples/tram/TramFre.gf
View File

@@ -1,5 +1,5 @@
--# -path=.:resource-1.0/abstract:resource-1.0/french:resource-1.0/common:resource-1.0/multimodal:resource-1.0/romance:prelude
--# -path=.:resource-1.0/abstract:resource-1.0/french:resource-1.0/common:resource-1.0/multimodal:resource-1.0/romance:prelude:resource-1.0/mathematical
concrete TramFre of Tram = TramI with
(Multimodal = MultimodalFre),
(Math = MathFre) ;
(Symbol = SymbolFre) ;

4
examples/tram/TramGer.gf
View File

@@ -1,5 +1,5 @@
--# -path=.:resource-1.0/abstract:resource-1.0/common:resource-1.0/multimodal:resource-1.0/german:prelude
--# -path=.:resource-1.0/abstract:resource-1.0/common:resource-1.0/mathematical:resource-1.0/multimodal:resource-1.0/german:prelude
concrete TramGer of Tram = TramI with
(Multimodal = MultimodalGer),
(Math = MathGer) ;
(Symbol = SymbolGer) ;

2
examples/tram/TramI.gf
View File

@@ -1,4 +1,4 @@
incomplete concrete TramI of Tram = open Multimodal, Math in {
incomplete concrete TramI of Tram = open Multimodal, Symbol in {
flags startcat=Query ; lexer=textlit ;

4
examples/tram/TramSwe.gf
View File

@@ -1,5 +1,5 @@
--# -path=.:resource-1.0/abstract:resource-1.0/swedish:resource-1.0/common:resource-1.0/multimodal:resource-1.0/scandinavian:prelude
--# -path=.:resource-1.0/abstract:resource-1.0/swedish:resource-1.0/common:resource-1.0/multimodal:resource-1.0/scandinavian:prelude:resource-1.0/mathematical
concrete TramSwe of Tram = TramI with
(Multimodal = MultimodalSwe),
(Math = MathSwe) ;
(Symbol = SymbolSwe) ;