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

1 files changed, 0 insertions, 19 deletions

diff --git a/examples-3.0/tutorial/semantics/LexBase.gf b/examples-3.0/tutorial/semantics/LexBase.gf
deleted file mode 100644
index 83713a35f..000000000
--- a/examples-3.0/tutorial/semantics/LexBase.gf
+++ /dev/null
@@ -1,19 +0,0 @@
-interface LexBase = open Syntax in {
-
-oper
-  even_A : A ;
-  odd_A : A ;
-  prime_A : A ;
-  common_A : A ;
-  great_A : A ;
-  equal_A2 : A2 ;
-  greater_A2 : A2 ;
-  smaller_A2 : A2 ;
-  divisible_A2 : A2 ;
-  number_N : N ;
-  sum_N2 : N2 ;
-  product_N2 : N2 ;
-  divisor_N2 : N2 ;
-
-  none_NP : NP ; ---
-}