From 1bdcca4e5a17ffeb4542c689a705b11b9c6a35cb Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 7 Jan 2009 09:37:52 +0000
Subject: Fix documentation

---
 src/algebra/any.spad.pamphlet | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'src/algebra/any.spad.pamphlet')

diff --git a/src/algebra/any.spad.pamphlet b/src/algebra/any.spad.pamphlet
index b877b958..d4c44f11 100644
--- a/src/algebra/any.spad.pamphlet
+++ b/src/algebra/any.spad.pamphlet
@@ -53,16 +53,17 @@ import Boolean
 Maybe(T: CoercibleTo OutputForm): Public == Private where
   Public == Join(UnionType,RetractableTo T, CoercibleTo OutputForm) with
     just: T -> %
-      ++ maybe(x) injects the value `x' into %.
+      ++ \spad{just x} injects the value `x' into %.
     _case: (%,[| T |]) -> Boolean
-      ++ x case T returns true if x is actually a data of type T.
+      ++ \spad{x case T} returns true if \spad{x} is actually a data of 
+      ++ type \spad{T}.
     _case: (%,[| nothing |]) -> Boolean
-      ++ x case nothing evaluates true if the value for x is missing.
+      ++ \spad{x case nothing} holds if the value for \spad{x} is missing.
     autoCoerce: % -> T
-      ++ autoCoerce is a courtesy coercion function used by the compiler
-      ++ in case it knows that `x' really is a T.
+      ++ \spad{autoCoerce} is a courtesy coercion function used by the
+      ++ compiler in case it knows that `x' really is a \spadtype{T}.
     nothing: %
-      ++ represents failure.
+      ++ \spad{nothing} represents failure or absence of value.
   Private == add
     nothing == %nothing$Lisp
     just x == x : %
-- 
cgit v1.2.3