remove pamphlets - part 4

1 files changed, 0 insertions, 738 deletions

diff --git a/src/interp/br-util.boot.pamphlet b/src/interp/br-util.boot.pamphlet
deleted file mode 100644
index d157054d..00000000
--- a/src/interp/br-util.boot.pamphlet
+++ /dev/null
@@ -1,738 +0,0 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-util.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
--- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
--- All rights reserved.
---
--- Redistribution and use in source and binary forms, with or without
--- modification, are permitted provided that the following conditions are
--- met:
---
---     - Redistributions of source code must retain the above copyright
---       notice, this list of conditions and the following disclaimer.
---
---     - Redistributions in binary form must reproduce the above copyright
---       notice, this list of conditions and the following disclaimer in
---       the documentation and/or other materials provided with the
---       distribution.
---
---     - Neither the name of The Numerical ALgorithms Group Ltd. nor the
---       names of its contributors may be used to endorse or promote products
---       derived from this software without specific prior written permission.
---
--- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
--- IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
--- TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
--- PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
--- OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
--- EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
--- PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
--- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
--- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
--- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
--- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-@
-<<*>>=
-<<license>>
-
---====================> WAS b-util.boot <================================
-
---=======================================================================
---		       AXIOM Browser
--- Initial entry is from man0.ht page to one of these functions:
---   kSearch (cSearch, dSearch, or pSearch), for constructors
---   oSearch, for operations
---   aSearch, for attributes
---   aokSearch, for general search
---   docSearch, for documentation search
---   genSearch, for complete search
---=======================================================================
-
-browserAutoloadOnceTrigger() == nil
-
-----------------------> Global Variables <-----------------------
-$includeUnexposed? := true   --default setting
-$tick := char '_`	     --field separator for database files
-$charUnderscore := ('__)     --needed because of parser bug
-$wild1 := '"[^`]*"           --phrase used to convert keys to grep strings
-$browseCountThreshold := 10  --the maximum number of names that will display
-			     --on a general search
-$opDescriptionThreshold := 4 --if <= 4 operations with unique name, give desc
-                             --otherwise, give signatures
-$browseMixedCase := true     --distinquish case in the browser?
-$docTable := nil	     --cache for documentation table
-$conArgstrings := nil	     --bound by conPage so that kPage
-			     --will display arguments if given
-$conformsAreDomains  := false	  --are all arguments of a constructor given?
-$returnNowhereFromGoGet := false  --special branch out for goget for browser
-$dbDataFunctionAlist := nil	  --set by dbGatherData
-$domain	  := nil	     --bound in koOps
-$infovec  := nil	     --bound in koOps
-$predvec  := nil	     --bound in koOps
-$exposedOnlyIfTrue := nil    --see repeatSearch, dbShowOps, dbShowCon
-$bcMultipleNames := nil	     --see bcNameConTable
-$bcConformBincount := nil    --see bcConform1
-$docTableHash := MAKE_-HASHTABLE 'EQUAL	 --see dbExpandOpAlistIfNecessary
-$groupChoice := nil  --see dbShowOperationsFromConform
-
-------------------> Initial Settings <---------------------
-$pmFilterDelimiters := [char '_(,char '_),char '_ ]
-$dbKindAlist :=
-  [[char 'a,:'"attribute"],[char 'o,:'"operation"],
-    [char 'd,:'"domain"],[char 'p,:'"package"],
-      [char 'c,:'"category"],[char 'x,:'"default_ package"]]
-$OpViewTable := '(
-  (names	   "Name"      "Names"           dbShowOpNames)
-  (documentation   "Name"      "Names"           dbShowOpDocumentation)
-  (domains	   "Domain"    "Domains"         dbShowOpDomains)
-  (signatures	   "Signature" "Signatures"      dbShowOpSignatures)
-  (parameters	   "Form"      "Forms"           dbShowOpParameters)
-  (origins	   "Origin"    "Origins"         dbShowOpOrigins)
-  (implementation  nil	       "Implementation Domains" dbShowOpImplementations)
-  (conditions	   "Condition" "Conditions"      dbShowOpConditions))
-
-bcBlankLine() == bcHt '"\vspace{1}\newline "
-
-pluralize k ==
-  k = '"child" => '"children"
-  k = '"category" => '"categories"
-  k = '"entry" => '"entries"
-  STRCONC(k,'"s")
-
-capitalize s ==
-  LASSOC(s,'(
-      ("domain"   . "Domain")
-      ("category" . "Category")
-      ("package"  . "Package")
-      ("default package" . "Default Package"))) or
-    res := COPY_-SEQ s
-    SETELT(res,0,UPCASE res.0)
-    res
-
-escapeSpecialIds u ==	--very expensive function
-  x := LASSOC(u,$htCharAlist) => [x]
-  #u = 1 =>
-    member(u, $htSpecialChars) => [CONCAT('"_\", u)]
-    [u]
-  c := char u.0
-  or/[c = char y for y in $htSpecialChars] =>
-    [CONCAT('"_\",u)]
-  [u]
-
-escapeString com ==   --this makes changes on single comment lines
--- was htexCom
-  look := 0
-  while look repeat
-    look >= SIZE com => look := []
-
-
-    look := STRPOSL ('"${}#%", com, look, [])
-    if look then
-      com := RPLACSTR (com,look,0,'"\")  --note RPLACSTR copies!!!
-      look := look + 2
-  com
-
-htPred2English(x,:options) ==
-  $emList :local := IFCAR options   --list of identifiers to be emphasised
-  $precList: local := '((OR 10 . "or") (AND 9 . "and")
-     (_< 5) (_<_= 5) (_> 5) (_>_= 5) (_= 5) (_^_= 5) (or 10) (and 9))
-  fn(x,100) where
-    fn(x,prec) ==
-      x is [op,:l] =>
-	LASSOC(op,$precList) is [iprec,:rename] =>
-	  if iprec > prec then htSay '"("
-	  fn(first l,iprec)
-	  for y in rest l repeat
-	    htSay('" ",rename or op,'" ")
-	    fn(y,iprec)
-	  if iprec > prec then htSay '")"
-	if prec < 5 then htSay '"("
-	gn(x,op,l,prec)
-	if prec < 5 then htSay '")"
-      x = 'etc => htSay '"..."
-      IDENTP x and not MEMQ(x,$emList) => htSay escapeSpecialIds PNAME x
-      htSay form2HtString(x,$emList)
-    gn(x,op,l,prec) ==
-      MEMQ(op,'(NOT not)) =>
-	htSay('"not ")
-	fn(first l,0)
-      op = 'HasCategory =>
-	bcConform(first l,$emList)
-	htSay('" has ")
-	bcConform(CADADR l,$emList)
-      op = 'HasAttribute =>
-	bcConform(first l,$emList)
-	htSay('" has ")
-	fnAttr CADADR l
-      MEMQ(op,'(has ofCategory)) =>
-	bcConform(first l,$emList)
-	htSay('" has ")
-	[a,b] := l
-	b is ['ATTRIBUTE,c] and not constructor? c => fnAttr c
-	bcConform(b, $emList)
-      bcConform(x,$emList)
-    fnAttr c ==
-      s := form2HtString c
-      member(s,$emList) => htSay('"{\em ",s,'"}")
-      satDownLink(s, ['"(|aPage| '|",s,'"|)"])
-
-unMkEvalable u ==
- u is ['QUOTE,a] => a
- u is ['LIST,:r] => [unMkEvalable x for x in r]
- u
-
-lisp2HT u == ['"_'",:fn u] where fn u ==
-  IDENTP u => escapeSpecialIds PNAME u
-  STRINGP u => escapeString u
-  ATOM u => systemError()
-  ['"_(",:"append"/[fn x for x in u],'")"]
-
-args2HtString(x,:options) ==
-  null x => '""
-  emList := IFCAR options
-  SUBSTRING(form2HtString(['f,:x],emList),1,nil)
-
-quickForm2HtString(x) ==
-  atom x => STRINGIMAGE x
-  form2HtString x
-
-form2HtString(x,:options) ==
-  $emList:local := IFCAR options   --list of atoms to be emphasized
-  $brief: local := IFCAR IFCDR options --see dbShowOperationsFromConform (lib11)
-  fn(x) where
-    fn x ==
-      atom x =>
-	MEMQ(x,$FormalMapVariableList) => STRCONC('"\",STRINGIMAGE x)
-	u := escapeSpecialChars STRINGIMAGE x
-	MEMQ(x,$emList) => STRCONC('"{\em ",u,'"}")
-	STRINGP x => STRCONC('"_"",u,'"_"")
-	u
-      first x = 'QUOTE => STRCONC('"'",sexpr2HtString first rest x)
-      first x = ":" => STRCONC(fn first rest x,'": ",fn first rest rest x)
-      first x = 'Mapping =>
-        STRCONC(fnTail(rest rest x,'"()"),'"->",fn first rest x)
-      first x = 'construct => fnTail(rest x,'"[]")
-      tail := fnTail(rest x,'"()")
-      head := fn first x
---    $brief and #head + #tail > 35 => STRCONC(head,'"(...)")
-      STRCONC(head,tail)
-    fnTail(x,str) ==
-      null x => '""
-      STRCONC(str . 0,fn first x,fnTailTail rest x,str . 1)
-    fnTailTail x ==
-      null x => '""
-      STRCONC('",",fn first x,fnTailTail rest x)
-
-sexpr2HtString x ==
-  atom x => form2HtString x
-  STRCONC('"(",fn x,'")") where fn x ==
-    r := rest x
-    suffix :=
-      null r => '""
-      atom r => STRCONC('" . ",form2HtString rest x)
-      STRCONC('" ",fn r)
-    STRCONC(sexpr2HtString first x,suffix)
-
-form2LispString(x) ==
-  atom x =>
-    x = '_$ => '"__$"
-    MEMQ(x,$FormalMapVariableList) => STRCONC(STRINGIMAGE '__, STRINGIMAGE x)
-    STRINGP x => STRCONC('"_"",STRINGIMAGE x,'"_"")
-    STRINGIMAGE x
-  x is ['QUOTE,a] => STRCONC('"'",sexpr2LispString a)
-  x is [":",a,b] => STRCONC(form2LispString a,'":",form2LispString b)
-  first x = 'Mapping =>
-    null rest (r := rest x) => STRCONC('"()->",form2LispString first r)
-    STRCONC(args2LispString rest r,'"->",form2LispString first r)
-  STRCONC(form2LispString first x,args2LispString rest x)
-
-sexpr2LispString x ==
-  atom x => form2LispString x
-  STRCONC('"(",fn x,'")") where fn x ==
-    r := rest x
-    suffix :=
-      null r => '""
-      atom r => STRCONC('" . ",form2LispString rest x)
-      STRCONC('" ",fn r)
-    STRCONC(sexpr2HtString first x,suffix)
-
-args2LispString x ==
-  null x => '""
-  STRCONC('"(",form2LispString first x,fnTailTail rest x,'")") where
-    fnTailTail x ==
-      null x => '""
-      STRCONC('",",form2LispString first x,fnTailTail rest x)
-
-dbConstructorKind x ==
-  target := CADAR GETDATABASE(x,'CONSTRUCTORMODEMAP)
-  target = '(Category) => 'category
-  target is ['CATEGORY,'package,:.] => 'package
-  HGET($defaultPackageNamesHT,x) => 'default_ package
-  'domain
-
-getConstructorForm name ==
-  name = 'Union	  => '(Union  (_: a A) (_: b B))
-  name = 'UntaggedUnion => '(Union A B)
-  name = 'Record  => '(Record (_: a A) (_: b B))
-  name = 'Mapping => '(Mapping T S)
-  name = 'Enumeration => '(Enumeration a b)
-  GETDATABASE(name,'CONSTRUCTORFORM)
-
-getConstructorArgs conname == CDR getConstructorForm conname
-
-htSay(x,:options) ==
---if x = $charEscape then x := $charNewline else
---if x = $stringEscape then x := $stringNewline
-  bcHt x
-  for y in options repeat bcHt y
-
-bcComments(comments,:options) ==
-  italics? := not IFCAR options
-  STRINGP comments =>
-    comments = '"" => nil
-    htSay('"\newline ")
-    if italics? then htSay '"{\em "
-    htSay comments
-    if italics? then htSay '"}"
-  null comments => nil
-  htSay('"\newline ")
-  if italics? then htSay "{\em "
-  htSay first comments
-  for x in rest comments repeat htSay('" ",x)
-  if italics? then htSay '"}"
-
-bcConform(form,:options) ==
-  $italics?    : local := IFCAR options
-  $italicHead? : local := IFCAR IFCDR options
-  bcConform1 form
-
-bcConform1 form == main where
------------------> OBSELETE
-  main ==
-    form is ['ifp,form1,:pred] =>
-      hd form1
-      bcPred pred
-    hd form
-  hd form ==
-    atom form =>
-      not MEMQ(form,'(Mapping Union Record)) and null constructor? form =>
-        s := STRINGIMAGE form
-        (s.0 = char '_#) and (n := POSN1(form, $FormalFunctionParameterList)) =>
-           htSay form2HtString ($FormalMapVariableList . n)
-        htSay form
-      s := STRINGIMAGE form
-      $italicHead? => htSayItalics s
-      $bcMultipleNames =>
-        satTypeDownLink(s, ['"(|conPageChoose| '|",s,'"|)"])
-      satTypeDownLink(s, ["(|conPage| '|",s,'"|)"])
-    (head := QCAR form) = 'QUOTE =>
-      htSay('"'")
-      hd CADR form
-    head = 'SIGNATURE =>
-      htSay(CADR form,'": ")
-      mapping CADDR form
-    head = 'Mapping and rest form => rest form => mapping rest form
-    head = ":" =>
-      hd CADR form
-      htSay '": "
-      hd CADDR form
-    QCDR form and dbEvalableConstructor? form
-       => bcConstructor(form,head)
-    hd head
-    null (r := QCDR form) => nil
-    tl QCDR form
-  mapping [target,:source] ==
-    tuple source
-    bcHt
-      $saturn => '" {\ttrarrow} "
-      '" -> "
-    hd target
-  tuple u ==
-    null u => bcHt '"()"
-    null rest u => hd u
-    bcHt '"("
-    hd first u
-    for x in rest u repeat
-      bcHt '","
-      hd x
-    bcHt '")"
-  tl u ==
-    bcHt '"("
-    firstTime := true
-    for x in u repeat
-      if not firstTime then bcHt '","
-      firstTime := false
-      hd x
-    bcHt '")"
-  say x ==
-    if $italics? then bcHt '"{\em "
-    if x = 'etc then x := '"..."
-    bcHt escapeSpecialIds STRINGIMAGE x
-    if $italics? then bcHt '"}"
-
-bcConstructor(form is [op,:arglist],cname) ==  --called only when $conformsAreDomains
-  htSayList dbConformGen form
-
-htSayList u ==
-  for x in u repeat htSay x
-
-conform2HtString form ==
-  for u in form2String form repeat
-    htSay u
-
-dbEvalableConstructor? form ==
---form is constructor form; either
---(a) all arguments are specified or (b) none are specified
-  form is [op,:argl] =>
-    null argl => true
-    op = 'QUOTE => 'T     --is a domain valued object
-    and/[dbEvalableConstructor? x for x in argl]
-  INTEGERP form => true
-  false
-
-htSayItalics s == htSay('"{\em ",s,'"}")
-
-bcCon(name,:options) ==
-  argString := IFCAR options or '""
-  s := STRINGIMAGE name
-  bcStar name
-  htSayConstructorName(s,s)
-  htSay argString
-
-bcAbb(name,abb) ==
-  s := STRINGIMAGE name
-  a := STRINGIMAGE abb
-  bcStar name
-  htSayConstructorName(a,s)
-
-bcStar name ==
-  if $includeUnexposed? and not isExposedConstructor name then htSayUnexposed()
-
-bcStarSpace name ==
-  null $includeUnexposed? => nil
-  not isExposedConstructor name => htSayUnexposed()
-  htBlank()
-
-bcStarSpaceOp(op,exposed?) ==
-  null $includeUnexposed? => nil
-  not exposed? =>
-    htSayUnexposed()
-    if op.0 = char '_* then htSay '" "
-  htBlank()
-
-bcStarConform form ==
-  bcStar opOf form
-  bcConform form
-
-dbSourceFile name ==
-  u:= GETDATABASE(name,'SOURCEFILE)
-  null u => '""
-  n := PATHNAME_-NAME u
-  t := PATHNAME_-TYPE u
-  STRCONC(n,'".",t)
-
-asharpConstructorName? name ==
-  u:= GETDATABASE(name,'SOURCEFILE)
-  u and PATHNAME_-TYPE u = '"as"
-
-asharpConstructors() ==
-  [x for x in allConstructors() | not asharpConstructorName? x]
-
-extractFileNameFromPath s == fn(s,0,#s) where
-  fn(s,i,m) ==
-    k := charPosition(char '_/,s,i)
-    k = m => SUBSTRING(s,i,nil)
-    fn(s,k + 1,m)
-
-bcOpTable(u,fn) ==
-  htBeginTable()
-  firstTime := true
-  for op in u for i in 0.. repeat
-    if firstTime then firstTime := false
-    else htSaySaturn '"&"
-    htSay '"{"
-    htMakePage [['bcLinks,[escapeSpecialChars STRINGIMAGE opOf op,'"",fn,i]]]
-    htSay '"}"
-  htEndTable()
-
-bcNameConTable u ==
-  $bcMultipleNames: local := (#u ^= 1)
-  bcConTable REMDUP u
-  -- bcConTable u
-
-bcConTable u ==
-  htBeginTable()
-  firstTime := true
-  for con in u repeat
-    if firstTime then firstTime := false
-    else htSaySaturn '"&"
-    htSay '"{"
-    bcStarSpace opOf con
-    bcConform con
-    htSay '"}"
-  htEndTable()
-
-bcAbbTable u ==
-  htBeginTable()
-  firstTime := true
-  for x in REMDUP u repeat	  --allow x to be NIL meaning "no abbreviation"
-  -- for x in u repeat	  --allow x to be NIL meaning "no abbreviation"
-    if firstTime then firstTime := false
-    else htSaySaturn '"&"
-    if x is [con,abb,:.] then
-      htSay '"{"
-      bcAbb(con,abb)
-      htSay '"}"
-  htEndTable()
-
-bcConPredTable(u,conname,:options) ==
-  italicList := IFCAR options
-  htBeginTable()
-  firstTime := true
-  for [conform,:pred] in u repeat
-    if firstTime then firstTime := false
-    else htSaySaturn '"&"
-    htSay '"{"
-    bcStarSpace opOf conform
-    form :=
-      atom conform => getConstructorForm conform
-      conform
-    bcConform(form,italicList)
-    if extractHasArgs pred is [arglist,:pred] then
-      htSay('" {\em of} ")
-      bcConform([conname,:arglist],italicList,true)
-    if pred ^= 'etc then bcPred(pred,italicList)
-    htSay '"}"
-  htEndTable()
-
-bcPred(pred,:options) ==
-  pred = '"" or pred = true or null pred => 'skip
-  italicList := IFCAR options
-  if not IFCAR IFCDR options then htSay '" {\em if} "
-  htPred2English(pred,italicList)
-
-extractHasArgs pred ==
-  x := find pred or return nil where find x ==
-    x is [op,:argl] =>
-      op = 'hasArgs => x
-      MEMQ(op,'(AND OR NOT)) => or/[find y for y in argl]
-      nil
-    nil
-  [rest x,:simpBool SUBST('T,x,pred)]
-
-splitConTable cons ==
-  uncond := cond := nil
-  for (pair := [con,:pred]) in cons repeat
-    null pred => 'skip
-    pred = 'T or pred is ['hasArgs,:.]	=> uncond := [pair,:uncond]
-    cond := [pair,:cond]
-  [NREVERSE uncond,:NREVERSE cond]
-
-bcNameTable(u,fn,:option) ==   --option if * prefix
-  htSay '"\newline"
-  htBeginTable()
-  firstTime := true
-  for x in u repeat
-    if firstTime then firstTime := false
-    else htSaySaturn '"&"
-    htSay '"{"
-    if IFCAR option then bcStar x
-    htMakePage [['bcLinks,[s := escapeSpecialChars STRINGIMAGE x,'"",fn,s]]]
-    htSay '"}"
-  htEndTable()
-
-bcNameCountTable(u,fn,gn,:options) ==
-  linkFunction :=
-    IFCAR options => 'bcLispLinks
-    'bcLinks
-  htSay '"\newline"
-  htBeginTable()
-  firstTime := true
-  for i in 0.. for x in u repeat
-    if firstTime then firstTime := false
-    else htSaySaturn '"&"
-    htSay '"{"
-    htMakePage [[linkFunction,[FUNCALL(fn,x),'"",gn,i]]]
-    htSay '"}"
-  htEndTable()
-
-dbSayItemsItalics(:u) ==
-  htSay '"{\em "
-  APPLY(function dbSayItems,u)
-  htSay '"}"
-
-dbSayItems(countOrPrefix,singular,plural,:options) ==
-  bcHt '"\newline "
-  count :=
-   countOrPrefix is [:prefix,c] =>
-     htSay prefix
-     c
-   countOrPrefix
-  if count = 0 then htSay('"No ",singular)
-  else if count = 1 then htSay('"1 ",singular)
-  else htSay(count,'" ",plural)
-  for x in options repeat bcHt x
-  if count ^= 0 then bcHt '":"
-
-dbBasicConstructor? conname == member(dbSourceFile conname,'("catdef" "coerce"))
-
-nothingFoundPage(:options) ==
-  htInitPage('"Sorry, no match found",nil)
-  htShowPage()
-
-htCopyProplist htPage == [[x,:y] for [x,:y] in htpPropertyList htPage]
-
-dbInfovec name ==
-  'category = GETDATABASE(name,'CONSTRUCTORKIND) => nil
-  GETDATABASE(name, 'ASHARP?) => nil
-  loadLibIfNotLoaded(name)
-  u := GETL(name,'infovec) => u
-
-emptySearchPage(kind,filter,:options) ==
-  skipNamePart := IFCAR options
-  heading := ['"No ",capitalize kind,'" Found"]
-  htInitPage(heading,nil)
-  exposePart :=
-    null $includeUnexposed? => '"{\em exposed} "
-    '""
-  htSay('"\vspace{1}\newline\centerline{There is no ",exposePart,kind,'" matching pattern}\newline\centerline{{\em ")
-  if filter then htPred2English filter
-  htSay '"}}"
-  htShowPage()
-
-isLoaded? conform == GETL(constructor? opOf conform,'LOADED)
-
-string2Integer s ==
-  and/[DIGIT_-CHAR_-P (s.i) for i in 0..MAXINDEX s] => PARSE_-INTEGER s
-  nil
-
-dbGetInputString htPage ==
-  s := htpLabelInputString(htPage,'filter)
-  null s or s = '"" => '"*"
-  s
-
-
-
---=======================================================================
---		     Error Pages
---=======================================================================
-bcErrorPage u ==
-  u is ['error,:r] =>
-    htInitPage(first r,nil)
-    bcBlankLine()
-    for x in rest r repeat htSay x
-    htShowPage()
-  systemError '"Unexpected error message"
-
-errorPage(htPage,[heading,kind,:info]) ==
-  kind = 'invalidType => kInvalidTypePage first info
-  if heading = 'error then htInitPage('"Error",nil) else
-			   htInitPage(heading,nil)
-  bcBlankLine()
-  for x in info repeat htSay x
-  htShowPage()
-
-htErrorStar() ==
-  errorPage(nil,['"{\em *} not a valid search string",nil,'"\vspace{3}\centerline{{\em *} is not a valid search string for a general search}\centerline{\em {it would match everything!}}"])
-
-htQueryPage(htPage,heading,message,query,fn) ==
-  htInitPage(heading,nil)
-  htSay message
-  htQuery(query,fn)
-  htShowPage()
-
-htQuery(question,fn,:options) ==
-  upLink? := IFCAR options
-  if question then
-    htSay('"\vspace{1}\centerline{")
-    htSay question
-    htSay('"}")
-  htSay('"\centerline{")
-  htMakePage [['bcLispLinks,['"\fbox{Yes}",'"",fn,'yes]]]
-  htBlank 4
-  if upLink?
-    then htSay('"\downlink{\fbox{No}}{UpPage}")
-    else htMakePage [['bcLispLinks,['"\fbox{No}",'"",fn,'no]]]
-  htSay('"}")
-
-kInvalidTypePage form ==
-  htInitPage('"Error",nil)
-  bcBlankLine()
-  htSay('"\centerline{You gave an invalid type:}\newline\centerline{{\sf ")
-  htSay(form2HtString form,'"}}")
-  htShowPage()
-
-dbNotAvailablePage(:options) ==
-  htInitPage('"Missing Page",nil)
-  bcBlankLine()
-  htSay(IFCAR options or '"\centerline{This page is not available yet}")
-  htShowPage()
-
---=======================================================================
---	 Utility Functions for Manipulating Browse Datalines
---=======================================================================
-dbpHasDefaultCategory? s ==  #s > 1 and s.1 = char 'x  --s is part 3 of line
-
-dbKind line == line.0
-
-dbKindString kind == LASSOC(kind,$dbKindAlist)
-
-dbName line == escapeString SUBSTRING(line,1,charPosition($tick,line,1) - 1)
-
-dbAttr line == STRCONC(dbName line,escapeString dbPart(line,4,0))
-
-dbPart(line,n,k) ==  --returns part n of line (n=1,..) beginning in column k
-  n = 1 => SUBSTRING(line,k + 1,charPosition($tick,line,k + 1) - k - 1)
-  dbPart(line,n - 1,charPosition($tick,line,k + 1))
-
-dbXParts(line,n,m) ==
-  [.,nargs,:r] := dbParts(line,n,m)
-  [dbKindString line.0,dbName line,PARSE_-INTEGER nargs,:r]
-
-dbParts(line,n,m) ==  --split line into n parts beginning in column m
-  n = 0 => nil
-  [SUBSTRING(line,m,-m + (k := charPosition($tick,line,m))),
-    :dbParts(line,n - 1,k + 1)]
-
-dbConname(line) == dbPart(line,5,1)
-
-dbComments line ==  dbReadComments(string2Integer dbPart(line,7,1))
-
-dbNewConname(line) == --dbName line unless kind is 'a or 'o => name in 5th pos.
-  (kind := line.0) = char 'a or kind = char 'o =>
-    conform := dbPart(line,5,1)
-    k := charPosition(char '_(,conform,1)
-    SUBSTRING(conform,1,k - 1)
-  dbName line
-
-dbTickIndex(line,n,k) == --returns index of nth tick in line starting at k
-  n = 1 => charPosition($tick,line,k)
-  dbTickIndex(line,n - 1,1 + charPosition($tick,line,k))
-
-mySort u == listSort(function GLESSEQP,u)
-
-
-
-
-
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}