summaryrefslogtreecommitdiff
path: root/old-examples/wiki/EditorI.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
commit5c713d8f027a9b6be687ee3f7e917e8bd2115773 (patch)
tree65da19829810b753345a5b2164bef2d8876268dd /old-examples/wiki/EditorI.gf
parentf7b2a83059697f1b36a6369e489ac276e7ff875d (diff)
took away old-examples
Diffstat (limited to 'old-examples/wiki/EditorI.gf')
-rw-r--r--old-examples/wiki/EditorI.gf69
1 files changed, 0 insertions, 69 deletions
diff --git a/old-examples/wiki/EditorI.gf b/old-examples/wiki/EditorI.gf
deleted file mode 100644
index f5b51baa1..000000000
--- a/old-examples/wiki/EditorI.gf
+++ /dev/null
@@ -1,69 +0,0 @@
-
---# -path=.=present=prelude
-
-incomplete concrete EditorI of Editor = open Syntax, LexEditor in {
-
- flags coding = utf8 ;
-
- lincat
- Sentence = Utt ;
- Verb = V ;
- Noun = N ;
- Adjective = A ;
- Determiner = Det ;
-
- lin
--- Sentences
- SingleWordCommand verb = singleWordCommand_Utt verb ;
- Command verb det adj noun = command_Utt verb det adj noun ;
- RandomlyCommand verb det noun = randomlyCommand_Utt verb det noun ;
- Label noun = label_Utt noun ;
- ErrorMessage adj noun = errorMessage_Utt adj noun ;
-
--- Verbs
- Undo = undo_V ;
- Redo = redo_V ;
- Cut = cut_V ;
- Copy = copy_V ;
- Paste = paste_V ;
- Delete = delete_V ;
- Refine = refine_V ;
- Replace = replace_V ;
- Wrap = wrap_V ;
- Select = select_V ;
- Enter = enter_V ;
- Show = show_V ;
-
--- Nouns
- Language = language_N ;
- Node = node_N ;
- Tree = tree_N ;
- Refinement = refinement_N ;
- Wrapper = wrapper_N ;
- String = string_N ;
- Page = page_N ;
- Danish = danish_N ;
- English = english_N ;
- Finnish = finnish_N ;
- French = french_N ;
- German = german_N ;
- Italian = italian_N ;
- Norwegian = norwegian_N ;
- Russian = russian_N ;
- Spanish = spanish_N ;
- Swedish = swedish_N ;
-
--- Adjectives
- NoAdj = noAdj_A ;
- Available = available_A ;
- Next = next_A ;
- Previous = previous_A ;
-
--- Determiners
- DefSgDet = defSg_Det ;
- DefPlDet = defPl_Det ;
- IndefSgDet = indefSg_Det ;
- IndefPlDet = indefPl_Det ;
- This = this_Det ;
-
-}