From 5c713d8f027a9b6be687ee3f7e917e8bd2115773 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Jun 2008 09:18:50 +0000 Subject: took away old-examples --- old-examples/wiki/LexEditor.gf | 58 ------------------------------------------ 1 file changed, 58 deletions(-) delete mode 100644 old-examples/wiki/LexEditor.gf (limited to 'old-examples/wiki/LexEditor.gf') diff --git a/old-examples/wiki/LexEditor.gf b/old-examples/wiki/LexEditor.gf deleted file mode 100644 index f9c263e93..000000000 --- a/old-examples/wiki/LexEditor.gf +++ /dev/null @@ -1,58 +0,0 @@ - -interface LexEditor = open Syntax in { - - oper --- Sentences - singleWordCommand_Utt : V -> Utt ; - command_Utt : V -> Det -> A -> N -> Utt ; - randomlyCommand_Utt : V -> Det -> N -> Utt ; - label_Utt : N -> Utt ; - errorMessage_Utt : A -> N -> Utt ; - --- Verbs - undo_V : V ; - redo_V : V ; - cut_V : V ; - copy_V : V ; - paste_V : V ; - delete_V : V ; - refine_V : V ; - replace_V : V ; - wrap_V : V ; - select_V : V ; - enter_V : V ; - show_V : V ; - --- Nouns - language_N : N ; - node_N : N ; - tree_N : N ; - refinement_N : N ; - wrapper_N : N ; - string_N : N ; - page_N : N ; - danish_N : N ; - english_N : N ; - finnish_N : N ; - french_N : N ; - german_N : N ; - italian_N : N ; - norwegian_N : N ; - russian_N : N ; - spanish_N : N ; - swedish_N : N ; - --- Adjectives - noAdj_A : A ; - available_A : A ; - next_A : A ; - previous_A : A ; - --- Determiners - defSg_Det : Det ; - defPl_Det : Det ; - indefSg_Det : Det ; - indefPl_Det : Det ; - this_Det : Det ; - -} -- cgit v1.2.3