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

1 files changed, 0 insertions, 68 deletions

diff --git a/examples/wiki/Editor.gf b/examples/wiki/Editor.gf
deleted file mode 100644
index ff7c1f5fa..000000000
--- a/examples/wiki/Editor.gf
+++ /dev/null
@@ -1,68 +0,0 @@
-
-abstract Editor = {
-
-	flags startcat = Sentence ;
-		  coding   = utf8 ;
-
-    cat
-		Sentence ;
-		Verb ;
-		Noun ;
-		Adjective ;
-		Determiner ;
-
-    fun
--- Sentences
-		SingleWordCommand	: Verb -> Sentence ;
-		Command				: Verb -> Determiner -> Adjective -> Noun -> Sentence ;
-		RandomlyCommand		: Verb -> Determiner -> Noun -> Sentence ;
-		Label				: Noun -> Sentence ;
-		ErrorMessage		: Adjective -> Noun -> Sentence ;
-
--- Verbs
-		Undo				: Verb ;
-		Redo				: Verb ;
-		Cut					: Verb ;
-		Copy				: Verb ;
-		Paste				: Verb ;
-		Delete				: Verb ;
-		Refine				: Verb ;
-		Replace				: Verb ;
-		Wrap				: Verb ;
-		Select				: Verb ;
-		Enter				: Verb ;
-		Show				: Verb ;
-
--- Nouns
-		Language			: Noun ;
-		Node				: Noun ;
-		Tree				: Noun ;
-		Refinement			: Noun ;
-		Wrapper				: Noun ;
-		String				: Noun ;
-		Page				: Noun ;
-		Danish				: Noun ;
-		English				: Noun ;
-		Finnish				: Noun ;
-		French				: Noun ;
-		German				: Noun ;
-		Italian				: Noun ;
-		Norwegian			: Noun ;
-		Russian				: Noun ;
-		Spanish				: Noun ;
-		Swedish				: Noun ;
-
--- Adjectives
-		NoAdj				: Adjective ;
-		Available			: Adjective ;
-		Next				: Adjective ;
-		Previous			: Adjective ;
-
--- Determiners
-		DefSgDet			: Determiner ;
-		DefPlDet			: Determiner ;
-		IndefSgDet			: Determiner ;
-		IndefPlDet			: Determiner ;
-		This				: Determiner ;
-
-}