* Leave a single definition of `maybe'

* Change icon to the 3rd edition icon with transparency
* Change url to www.eopl3.com

svn: r10799

collects/eopl/eopl-tool.ss

@@ -26,13 +26,13 @@ wraps the load of the module.)
 	    '(-500 -400))
 	  (define/public (get-language-position)
 	    (list (string-constant teaching-languages)
-                  "Essentials of Programming Languages (2nd ed.)"))
+                  "Essentials of Programming Languages (3rd ed.)"))
 	  (define/public (get-module)
 	    '(lib "eopl/eopl.ss"))
 	  (define/public (get-one-line-summary)
 	    "Based on the Friedman, Wand, and Haynes text")
           (define/public (get-language-url)
-	    "http://www.cs.indiana.edu/eopl/")
+	    "http://www.eopl3.com/")
 	  (define/public (get-reader)
 	    (lambda (src port)
               (let ([v (read-syntax src port)])

collects/eopl/eopl.ss

@@ -123,12 +123,6 @@
 		      ((car preds) (car obj))
 		      (loop (cdr obj) (cdr preds))))))))))
 
-  (define maybe
-    (lambda (pred)
-      (lambda (obj)
-        (or (pred obj)
-            (eqv? obj #f)))))
-
   ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
   (define empty null)
@@ -136,9 +130,8 @@
   (define maybe
     (lambda (pred)
       (lambda (obj)
-        (or
-         (pred obj)
-         (eqv? obj #f)))))
+        (or (pred obj)
+            (eqv? obj #f)))))
 
   (provide time            ;; useful to compare implementations
 	   collect-garbage ;; useful with `time'

collects/eopl/info.ss

@@ -3,14 +3,14 @@
 (require string-constants)
 
 (define tools (list "eopl-tool.ss"))
-(define tool-icons (list "eopl-small.gif"))
+(define tool-icons (list "eopl-small.png"))
 (define tool-names (list "Essentials of Programming Languages"))
-(define tool-urls (list "http://www.cs.indiana.edu/eopl/"))
+(define tool-urls (list "http://www.eopl3.com/"))
 
 (define scribblings '(("eopl.scrbl" () (language -12))))
 
 (define textbook-pls
-  (list (list '("eopl-small.gif" "eopl")
+  (list (list '("eopl-small.png" "eopl")
               "Essentials of Programming Languages"
               (string-constant teaching-languages)
-              "Essentials of Programming Languages (2nd ed.)")))
+              "Essentials of Programming Languages (3rd ed.)")))