gf-book web page index and toc

1 files changed, 0 insertions, 17 deletions

diff --git a/book/examples/chapter7/MapEng.gf b/book/examples/chapter7/MapEng.gf
deleted file mode 100644
index fee0b502c..000000000
--- a/book/examples/chapter7/MapEng.gf
+++ /dev/null
@@ -1,17 +0,0 @@
-concrete MapEng of Map = {
-lincat
-  Query        = {s : Str} ;
-  Input, Place = {s : Str ; p : Str} ;
-  Click        = {p : Str} ;
-lin
-  GoFromTo x y = {
-    s = "I want to go from" ++ x.s ++ "to" ++ y.s ; 
-    p = x.p ++ y.p
-    } ;
-  ThisPlace c = {
-    s = "this place" ; 
-    p = c.p
-    } ;
-  QueryInput i = {s = i.s ++ ";" ++ i.p} ;
-  ClickCoord x y = {p = "(" ++ x.s ++ "," ++ y.s ++ ")"} ;
-}