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

1 files changed, 0 insertions, 35 deletions

diff --git a/examples-3.0/tutorial/smart/House.gf b/examples-3.0/tutorial/smart/House.gf
deleted file mode 100644
index e156792f1..000000000
--- a/examples-3.0/tutorial/smart/House.gf
+++ /dev/null
@@ -1,35 +0,0 @@
-abstract House = {
-
-flags startcat = Utterance ;
-
-cat 
-  Utterance ; 
-  Command ; 
-  Question ; 
-  Kind ; 
-  Action Kind ; 
-  Device Kind ; 
-  Location ;
-
-fun
-  UCommand  : Command -> Utterance ;
-  UQuestion : Question -> Utterance ;
-
-  CAction : (k : Kind) -> Action k -> Device k -> Command ;
-  QAction : (k : Kind) -> Action k -> Device k -> Question ;
-
-  DKindOne  : (k : Kind) -> Device k ;
-  DKindMany : (k : Kind) -> Device k ;
-  DLoc  : (k : Kind) -> Device k -> Location -> Device k ;
-
-  light, fan : Kind ;
-
-  switchOn, switchOff : (k : Kind) -> Action k ;
-
-  dim : Action light ;
-
-  kitchen, livingRoom : Location ;
-  
-
-}
-