changed names of resource-1.3; added a note on homepage on release

1 files changed, 0 insertions, 47 deletions

diff --git a/examples/peacekeeping/PeaceLexExt.gf b/examples/peacekeeping/PeaceLexExt.gf
deleted file mode 100644
index 984440ef6..000000000
--- a/examples/peacekeeping/PeaceLexExt.gf
+++ /dev/null
@@ -1,47 +0,0 @@
-abstract PeaceLexExt = PeaceCat ** {
-
-  fun
-
-    -- Adjectives
-
-    dangerous_A : A ;
-    dead_A : A ;
-    hungry_A : A ;
-    large_A : A ;
-    sick_A : A ;
-
-    -- Nouns
-
-    air_N : MassN ;
-    arm_N : N ;
-    building_N : N ;
-    car_N : N ;
-    corpse_N : N ;
-    doctor_N : N ;
-    doctor_N : N ;
-    enemy_N : N ;
-    face_N : N ;
-    food_N : MassN ;
-    friend_N : N ;
-    ground_N : N ;
-    knife_N : N ;
-    landmine_N : N ;
-    map_N : N ;
-    medicine_N : MassN ;
-    police8officer_N : N ;
-    skin_N : MassN ;
-    soldier_N : N ;
-    toy_N : N ;
-    translation8machine_N : N ;
-    weapon_N : N;
-
-    -- Verbs
-    cooperate_V2 : V2 ;
-    cough_V : V ;
-    drop_V2 : V2 ;
-    hurt_V : V ;
-    need_V2 : V2;
-    own_V2 : V2 ;
-    show_V3 : V3 ;
-
-}
\ No newline at end of file