diff --git a/eclipse/examples/foods.zip b/eclipse/examples/foods.zip deleted file mode 100644 index 3457a6b8c..000000000 Binary files a/eclipse/examples/foods.zip and /dev/null differ diff --git a/eclipse/examples/foods/Foods.gf b/eclipse/examples/foods/Foods.gf deleted file mode 100644 index 5328473c3..000000000 --- a/eclipse/examples/foods/Foods.gf +++ /dev/null @@ -1,16 +0,0 @@ --- Abstract Syntax -abstract Foods = { - - flags startcat = Phrase ; - - cat - Phrase ; Item ; Kind ; Quality ; - - fun - Is : Item -> Quality -> Phrase ; - This, That, These, Those : Kind -> Item ; - QKind : Quality -> Kind -> Kind ; - Wine, Cheese, Fish, Pizza : Kind ; - Very : Quality -> Quality ; - Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ; -} diff --git a/eclipse/examples/foods/FoodsEng.gf b/eclipse/examples/foods/FoodsEng.gf deleted file mode 100644 index 9337b2f6e..000000000 --- a/eclipse/examples/foods/FoodsEng.gf +++ /dev/null @@ -1,8 +0,0 @@ --- Functor Instantiation ---# -path=.:/home/john/.cabal/share/gf-3.2.9/lib/present -concrete FoodsEng of Foods = FoodsI - [Pizza] with - (Syntax = SyntaxEng), - (LexFoods = LexFoodsEng) ** - open SyntaxEng, ParadigmsEng in { - lin Pizza = mkCN (mkA "Italian") (mkN "pie") ; -} diff --git a/eclipse/examples/foods/FoodsGer.gf b/eclipse/examples/foods/FoodsGer.gf deleted file mode 100644 index 59e48b548..000000000 --- a/eclipse/examples/foods/FoodsGer.gf +++ /dev/null @@ -1,5 +0,0 @@ --- Functor Instantiation ---# -path=.:/home/john/.cabal/share/gf-3.2.9/lib/present -concrete FoodsGer of Foods = FoodsI with - (Syntax = SyntaxGer), - (LexFoods = LexFoodsGer) ; diff --git a/eclipse/examples/foods/FoodsI.gf b/eclipse/examples/foods/FoodsI.gf deleted file mode 100644 index a01da068f..000000000 --- a/eclipse/examples/foods/FoodsI.gf +++ /dev/null @@ -1,28 +0,0 @@ --- Functor --- (a module that opens one or more interfaces) -incomplete concrete FoodsI of Foods = open Syntax, LexFoods in { -lincat - Phrase = Cl ; - Item = NP ; - Kind = CN ; - Quality = AP ; -lin - Is item quality = mkCl item quality ; - This kind = mkNP this_Det kind ; - That kind = mkNP that_Det kind ; - These kind = mkNP these_Det kind ; - Those kind = mkNP those_Det kind ; - QKind quality kind = mkCN quality kind ; - Very quality = mkAP very_AdA quality ; - - Wine = mkCN wine_N ; - Pizza = mkCN pizza_N ; - Cheese = mkCN cheese_N ; - Fish = mkCN fish_N ; - Fresh = mkAP fresh_A ; - Warm = mkAP warm_A ; - Italian = mkAP italian_A ; - Expensive = mkAP expensive_A ; - Delicious = mkAP delicious_A ; - Boring = mkAP boring_A ; -} diff --git a/eclipse/examples/foods/LexFoods.gf b/eclipse/examples/foods/LexFoods.gf deleted file mode 100644 index 0d4ca4be4..000000000 --- a/eclipse/examples/foods/LexFoods.gf +++ /dev/null @@ -1,15 +0,0 @@ --- Lexicon Interface --- (a resource which contains only oper TYPES) -interface LexFoods = open Syntax in { -oper - wine_N : N ; - pizza_N : N ; - cheese_N : N ; - fish_N : N ; - fresh_A : A ; - warm_A : A ; - italian_A : A ; - expensive_A : A ; - delicious_A : A ; - boring_A : A ; -} diff --git a/eclipse/examples/foods/LexFoodsEng.gf b/eclipse/examples/foods/LexFoodsEng.gf deleted file mode 100644 index 5f4243d35..000000000 --- a/eclipse/examples/foods/LexFoodsEng.gf +++ /dev/null @@ -1,16 +0,0 @@ --- Lexicon Instance -instance LexFoodsEng of LexFoods = open SyntaxEng, ParadigmsEng in { -flags - coding=utf8 ; -oper - wine_N = mkN "wine" ; - pizza_N = mkN "pizza" ; - cheese_N = mkN "cheese" ; - fish_N = mkN "fish" ; - fresh_A = mkA "fresh" ; - warm_A = mkA "warm" ; - italian_A = mkA "Italian" ; - expensive_A = mkA "expensive" ; - delicious_A = mkA "delicious" ; - boring_A = mkA "boring" ; -} diff --git a/eclipse/examples/foods/LexFoodsGer.gf b/eclipse/examples/foods/LexFoodsGer.gf deleted file mode 100644 index 7772416be..000000000 --- a/eclipse/examples/foods/LexFoodsGer.gf +++ /dev/null @@ -1,18 +0,0 @@ --- Lexicon Instance -instance LexFoodsGer of LexFoods = open SyntaxGer, ParadigmsGer in { -flags - coding=utf8 ; -oper - wine_N = mkN "Wein" ; - pizza_N = mkN "Pizza" "Pizzen" feminine ; - cheese_N = mkN "Käse" "Käsen" masculine ; - fish_N = mkN "Fisch" ; - fresh_A = mkA "frisch" ; - warm_A = mkA "warm" "wärmer" "wärmste" ; - italian_A = mkA "italienisch" ; - expensive_A = mkA "teuer" ; - delicious_A = mkA "köstlich" ; - boring_A = mkA "langweilig" ; - - testy_A = mkA "testy" ; -} diff --git a/eclipse/examples/hello.zip b/eclipse/examples/hello.zip deleted file mode 100644 index 2676ac391..000000000 Binary files a/eclipse/examples/hello.zip and /dev/null differ diff --git a/eclipse/examples/hello/AbsCat.gf b/eclipse/examples/hello/AbsCat.gf deleted file mode 100644 index dac5c07db..000000000 --- a/eclipse/examples/hello/AbsCat.gf +++ /dev/null @@ -1,5 +0,0 @@ -abstract AbsCat = { - - cat Greeting ; Recipient ; - -}; diff --git a/eclipse/examples/hello/HelloAbs.gf b/eclipse/examples/hello/HelloAbs.gf deleted file mode 100644 index 70ab490bf..000000000 --- a/eclipse/examples/hello/HelloAbs.gf +++ /dev/null @@ -1,12 +0,0 @@ -abstract HelloAbs = AbsCat [Greeting, Recipient] ** { - - flags startcat = Greeting ; - - cat Farewell ; - - fun - Hello : Recipient -> Greeting ; - Goodbye : Recipient -> Farewell ; - World, Parent, Friends : Recipient ; - -} diff --git a/eclipse/examples/hello/HelloEng.gf b/eclipse/examples/hello/HelloEng.gf deleted file mode 100644 index d67843ef0..000000000 --- a/eclipse/examples/hello/HelloEng.gf +++ /dev/null @@ -1,21 +0,0 @@ -concrete HelloEng of HelloAbs = ResEng ** { - - lincat - Greeting, Farewell = {s : Str} ; - Recipient = {s : Gender => Str} ; - - lin - Hello recip = {s = "hello" ++ recip.s ! Masc} ; - Goodbye recip = {s = "goodbye" ++ recip.s ! Fem} ; - - World = {s = \\_ => "world"} ; - Parent = { s = table { - Masc => "dad" ; Fem => "mum" - } } ; - Friends = superate "friends" ; - - oper - superate : Str -> Recipient = \s -> - lin Recipient { s = \\_ => "super" ++ s } ; - -} diff --git a/eclipse/examples/hello/ResEng.gf b/eclipse/examples/hello/ResEng.gf deleted file mode 100644 index 1ecf97a4d..000000000 --- a/eclipse/examples/hello/ResEng.gf +++ /dev/null @@ -1,8 +0,0 @@ ---# -path=.:../abstract:../common:../../prelude -resource ResEng = { - - param - OtherParam = A | B ; - Gender = Masc | Fem ; - -} ; diff --git a/eclipse/index.html b/eclipse/index.html index 71d3b1457..e855f9181 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -34,7 +34,7 @@ Updated: 1 June 2012

  • This documentation is also available at the MOLTO Project Wiki.
  • Source code repository is at github.com/GrammaticalFramework/gf-eclipse-plugin
  • For reporting bugs and requesting features, please use the GitHub Issue Tracker
    • -
  • Here are some example GF projects for testing out the plugin features.
    • +
  • Here are some example GF projects for testing out the plugin features.
  • Software update site URL for installing through Eclipse: http://www.grammaticalframework.org/eclipse/release/
    • @@ -272,7 +272,7 @@ You will probably want to ignore these directories in your version control syste

    New module wizard

    -

    You can find some small examples at grammaticalframework.org/eclipse/examples. Download the files and manually add them to your Eclipse workspace to experiment with some of the plugin features.

    +

    You can find some small examples here. Download the files and manually add them to your Eclipse workspace to experiment with some of the plugin features.

    Clone module wizard