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

1 files changed, 0 insertions, 52 deletions

diff --git a/examples/query/DatabaseEng.gf b/examples/query/DatabaseEng.gf
deleted file mode 100644
index 6af490678..000000000
--- a/examples/query/DatabaseEng.gf
+++ /dev/null
@@ -1,52 +0,0 @@
---# -path=.:prelude
-
-concrete DatabaseEng of Database = open Prelude in {
-
--- english query language
-
-flags lexer=literals ; unlexer=text ;
-
--- concrete syntax; greatly simplified - just for test purposes
-
-lin 
-  QueryS s = s ;
-  QueryQ q = q ;
-
-  PredA1 np a = prefixSS "is" (cc2 np a) ;
-
-  WhichA1 n a = ss ("which" ++ n.s ++ "are" ++ a.s) ;
-  WhichA2 n q a = ss ("which" ++ n.s ++ "are" ++ q.s ++ a.s) ;
-
-  ComplA2     = cc2 ;
-
-  Every A  = ss ("every" ++ A.s) ;
-  Some A   = ss ("some" ++ A.s) ;
-  UseInt n = n ;
-
-  Number = ss "numbers" ;
-
-  Even   = ss "even" ;
-  Odd    = ss "odd" ;
-  Prime  = ss "prime" ;
-  Equal  = ss ("equal" ++ "to") ;
-  Greater = ss ("greater" ++ "than") ;
-  Smaller = ss ("smaller" ++ "than") ;
-  Divisible = ss ("divisible" ++ "by") ;
- 
--- replies
-
-lin
-  Yes = ss "yes" ;
-  No = ss "no" ;
-
-  None = ss "none" ;
-  List xs = xs ;
-  One n = n ;
-  Cons = cc2 ;
-
--- general moves
-
-lin 
-  Quit = ss "quit" ;
-  Bye = ss "bye" ;
-}