diff --git a/examples/regulus/toy0/Toy0GerE.gf b/examples/regulus/toy0/example-based/Toy0GerE.gf similarity index 76% rename from examples/regulus/toy0/Toy0GerE.gf rename to examples/regulus/toy0/example-based/Toy0GerE.gf index 00b4b79a7..f87eceb31 100644 --- a/examples/regulus/toy0/Toy0GerE.gf +++ b/examples/regulus/toy0/example-based/Toy0GerE.gf @@ -1,4 +1,4 @@ ---# -path=.:present:prelude +--# -path=..:present:prelude concrete Toy0GerE of Toy0 = Toy0IE with (Grammar = GrammarGer), diff --git a/examples/regulus/toy0/Toy0IE.gfe b/examples/regulus/toy0/example-based/Toy0IE.gfe similarity index 79% rename from examples/regulus/toy0/Toy0IE.gfe rename to examples/regulus/toy0/example-based/Toy0IE.gfe index 992708554..03313efd5 100644 --- a/examples/regulus/toy0/Toy0IE.gfe +++ b/examples/regulus/toy0/example-based/Toy0IE.gfe @@ -1,5 +1,5 @@ ---# -resource=/home/aarne/GF/lib/present/LangEng.gfc ---# -path=.:present:prelude +--# -resource=present/LangEng.gfc +--# -path=..:present:prelude -- to compile: gf -examples Toy0IE.gfe diff --git a/examples/regulus/toy0/Toy0Fin0.gf b/examples/regulus/toy0/no-functor/Toy0Fin0.gf similarity index 90% rename from examples/regulus/toy0/Toy0Fin0.gf rename to examples/regulus/toy0/no-functor/Toy0Fin0.gf index 23203934d..9a1875124 100644 --- a/examples/regulus/toy0/Toy0Fin0.gf +++ b/examples/regulus/toy0/no-functor/Toy0Fin0.gf @@ -1,4 +1,4 @@ ---# -path=present:prelude +--# -path=..:present:prelude concrete Toy0Fin0 of Toy0 = open SyntaxFin, ParadigmsFin in { diff --git a/examples/regulus/toy0/Toy0Eng.gf b/examples/regulus/toy0/no-resource/Toy0Eng.gf similarity index 97% rename from examples/regulus/toy0/Toy0Eng.gf rename to examples/regulus/toy0/no-resource/Toy0Eng.gf index 977fb09c5..e6fa01b8d 100644 --- a/examples/regulus/toy0/Toy0Eng.gf +++ b/examples/regulus/toy0/no-resource/Toy0Eng.gf @@ -1,3 +1,4 @@ +--# -path=.. concrete Toy0Eng of Toy0 = { param diff --git a/examples/regulus/toy0/Toy0Fre.gf b/examples/regulus/toy0/no-resource/Toy0Fre.gf similarity index 97% rename from examples/regulus/toy0/Toy0Fre.gf rename to examples/regulus/toy0/no-resource/Toy0Fre.gf index c5267ae18..1077058e0 100644 --- a/examples/regulus/toy0/Toy0Fre.gf +++ b/examples/regulus/toy0/no-resource/Toy0Fre.gf @@ -1,3 +1,4 @@ +--# -path=.. concrete Toy0Fre of Toy0 = { param diff --git a/examples/regulus/toy0/Toy0Ger.gf b/examples/regulus/toy0/no-resource/Toy0Ger.gf similarity index 98% rename from examples/regulus/toy0/Toy0Ger.gf rename to examples/regulus/toy0/no-resource/Toy0Ger.gf index 68b3b7969..eee5df823 100644 --- a/examples/regulus/toy0/Toy0Ger.gf +++ b/examples/regulus/toy0/no-resource/Toy0Ger.gf @@ -1,3 +1,4 @@ +--# -path=.. concrete Toy0Ger of Toy0 = { param diff --git a/examples/regulus/toy0/Toy0_eng.gf b/examples/regulus/toy0/no-resource/Toy0_eng.gf similarity index 100% rename from examples/regulus/toy0/Toy0_eng.gf rename to examples/regulus/toy0/no-resource/Toy0_eng.gf