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

1 files changed, 0 insertions, 52 deletions

diff --git a/examples/dialogue/Dialogue.gf b/examples/dialogue/Dialogue.gf
deleted file mode 100644
index 41f805c93..000000000
--- a/examples/dialogue/Dialogue.gf
+++ /dev/null
@@ -1,52 +0,0 @@
-abstract Dialogue = {
-
-  flags startcat=Move ;
-
-  cat
-    Move ;
-    Action ;
-    Proposition ;
-    Question ;
-    Kind ;
-    Object Kind ;
-    Oper0 ;
-    Oper1 Kind ;
-    Oper2 Kind Kind ;
-
-  fun
-    IRequest : Action -> Input ;
-    IConfirm : Action -> Input ;
-    IAnswer  : Proposition -> Input ;
-    IIssue   : Question -> Input ;
-
-    IYes     : Input ;
-    INo      : Input ;
-    IObject  : (k : Kind) -> Object k -> Input ;
-
-    PAction  : Action -> Proposition ;
-
-    QKind  : Kind -> Question ;
-
-    AOper0 :                 Oper0                             -> Action ;
-    AOper1 : (k   : Kind) -> Oper1 k   -> Object k             -> Action ;
-    AOper2 : (k,m : Kind) -> Oper2 k m -> Object k -> Object m -> Action ;
-
-    OAll   : (k : Kind) -> Object k ;
-    OIndef : (k : Kind) -> Object k ;
-    ODef   : (k : Kind) -> Object k ;
-
--- multimodality
-
-  cat
-    Click ;
-    Input ;  -- multimodal asynchronous input
-    Speech ; -- speech only
-  fun
-    OThis     : (k : Kind) -> Click -> Object k ;
-    OThisKind : (k : Kind) -> Click -> Object k ;
-
-    MInput : Input -> Move ;
-    SInput : Input -> Speech ;
-
-    MkClick : String -> Click ;
-}