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

1 files changed, 19 insertions, 0 deletions

diff --git a/old-examples/restaurant/Restaurant.gf b/old-examples/restaurant/Restaurant.gf
new file mode 100644
index 000000000..7b0a586de
--- /dev/null
+++ b/old-examples/restaurant/Restaurant.gf
@@ -0,0 +1,19 @@
+abstract Restaurant = {
+
+flags startcat = Descr ;
+
+cat
+  Descr ;
+  Name ;
+  Nationality ;
+  PriceLevel ;
+
+fun
+  MkDescr : Name -> PriceLevel -> Nationality -> Descr ;
+
+  Cheap : PriceLevel ;
+  Italian, Thai, Swedish, French : Nationality ;
+  Konkanok : Name ;
+
+
+}