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

1 files changed, 0 insertions, 60 deletions

diff --git a/examples-3.0/tutorial/semantics/Base.gf b/examples-3.0/tutorial/semantics/Base.gf
deleted file mode 100644
index 85868d7ac..000000000
--- a/examples-3.0/tutorial/semantics/Base.gf
+++ /dev/null
@@ -1,60 +0,0 @@
--- abstract syntax of a query language
-
-abstract Base = {
-
-cat
-  S ; 
-  NP ; 
-  PN ;
-  CN ; 
-  AP ; 
-  A2 ; 
-  Conj ;
-fun 
-
--- sentence syntax
-  PredAP  : NP -> AP -> S ;
-
-  ComplA2 : A2 -> NP -> AP ;
-
-  ModCN   : AP -> CN -> CN ;
-
-  ConjAP  : Conj -> AP -> AP -> AP ;
-  ConjNP  : Conj -> NP -> NP -> NP ;
-
-  UsePN   : PN -> NP ;
-  Every   : CN -> NP ;
-  Some    : CN -> NP ;
-
-  And, Or : Conj ;  
-
--- lexicon
-
-  UseInt : Int -> PN ;
-
-  Number : CN ;
-  Even, Odd, Prime : AP ;
-  Equal, Greater, Smaller, Divisible  : A2 ;
-
-  Sum, Product, GCD : ListPN -> PN ;
-
--- adding questions
-
-cat
-  Question ;
-  Answer ;
-  ListPN ;
-fun
-  WhatIs   : PN -> Question ;
-  WhichAre : CN -> AP -> Question ;
-  QuestS   : S -> Question ;
-
-  Yes   : Answer ;
-  No    : Answer ;
-  Value : NP -> Answer ;
-
-  None  : NP ;
-  Many  : ListPN -> NP ;
-  BasePN : PN -> PN -> ListPN ;
-  ConsPN : PN -> ListPN -> ListPN ; 
-}