Initial population.

1 files changed, 1916 insertions, 0 deletions

diff --git a/src/interp/br-saturn.boot.pamphlet b/src/interp/br-saturn.boot.pamphlet
new file mode 100644
index 00000000..46b53f9d
--- /dev/null
+++ b/src/interp/br-saturn.boot.pamphlet
@@ -0,0 +1,1916 @@
+\documentclass{article}
+\usepackage{axiom}
+
+\title{\File{src/interp/br-saturn.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-saturn.boot <================================
+-- New file as of 6/95
+$aixTestSaturn := false
+--These will be set in patches.lisp:
+--$saturn := false  --true to write SATURN output to $browserOutputStream
+--$standard:= true  --true to write browser output on AIX
+$saturnAmpersand := '"\&\&"
+$saturnFileNumber --true to write DOS files for Thinkpad (testing only)
+   := false
+$kPageSaturnArguments := nil  --bound by $kPageSaturn
+$atLeastOneUnexposed := false
+$saturnContextMenuLines := nil
+$saturnContextMenuIndex := 0
+$saturnMacros := '(
+  "\def\unixcommand#1#2{{\em #1}}"_
+  "\def\lispFunctionLink#1#2{\lispLink[d]{#1}{{\bf #2}}}"_
+  "\def\lispTypeLink#1#2{\lispLink[d]{#1}{{\sf #2}}}"_
+  "\def\menuitemstyle{\menubutton}"_
+  "\def\browseTitle#1{\windowTitle{#1}\section{#1}}"_
+  "\def\ttrarrow{$\rightarrow$}"_
+  "\def\spadtype#1{\lispLink[d]{\verb!(|spadtype| '|#1|)!}{\sf #1}}"_
+  "\def\spad#1{{\em #1}}"_
+  "\def\spadfun#1{{\em #1}}"_
+)
+$FormalFunctionParameterList := '(_#_#1 _#_#2 _#_#3 _#_#4 _#_#5 _#_#6 _#_#7 _#_#8 _#_#9 _#_#10 _#_#11 _#_#12 _#_#13 _#_#14 _#_#15)
+
+on() ==
+  $saturn := true
+  $standard := false
+off()==
+  $saturn := false
+  $standard := true
+
+--=======================================================================
+--            Function for testing SATURN output
+--=======================================================================
+-- protectedEVAL x ==
+--  $saturn =>
+--    protectedEVAL0(x, true, false)
+--    if $aixTestSaturn then protectedEVAL0(x, false, true)
+--  protectedEVAL1 x
+--
+--protectedEVAL0(x, $saturn, $standard) ==
+--  protectedEVAL1 x
+--
+--protectedEVAL1 x ==
+--  error := true
+--  val := NIL
+--  UNWIND_-PROTECT((val := saturnEVAL x; error := NIL),
+--                   error => (resetStackLimits(); sendHTErrorSignal()))
+--  val
+--
+--saturnEVAL x ==
+--  fn :=
+--    $aixTestSaturn => '"/tmp/sat.text"
+--    '"/windows/temp/browser.text"
+--  $saturn =>
+--    saturnEvalToFile(x, fn)
+--    OBEY  '"cat /tmp/sat.text"
+--  EVAL x
+
+
+--=======================================================================
+--            Functions to write DOS files to disk
+--=======================================================================
+ts(command) ==
+  $saturn := true
+  $saturnFileNumber := false
+  $standard := false
+  saturnEvalToFile(command, '"/tmp/sat.text")
+
+ut() ==
+  $saturn := false
+  $standard := true
+  'done
+
+onDisk() ==
+  $saturnFileNumber := 1
+  obey '"dosdir"
+
+offDisk() ==
+  $saturnFileNumber := false
+
+page() ==
+  $standard => $curPage
+  $saturnPage
+--=======================================================================
+--            Functions that affect $saturnPage
+--=======================================================================
+
+--------------------> OLD DEFINITION (override in br-util.boot.pamphlet)
+htSay(x,:options) ==  --say for possibly both $saturn and standard code
+  htSayBind(x, options)
+
+htSayCold x ==
+  htSay '"\lispLink{}{"
+  htSay x
+  htSay '"}"
+
+htSayIfStandard(x, :options) ==  --do only for $standard
+  $standard => htSayBind(x,options)
+
+htSayStandard(x, :options) ==  --do AT MOST for $standard
+  $saturn: local := nil
+  htSayBind(x, options)
+
+htSaySaturn(x, :options) ==    --do AT MOST for $saturn
+  $standard: local := nil
+  htSayBind(x, options)
+
+htSayBind(x, options) ==
+  bcHt x
+  for y in options repeat bcHt y
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+bcHt line ==
+  $newPage =>  --this path affects both saturn and old lines
+    text :=
+      PAIRP line => [['text, :line]]
+      STRINGP line => line
+      [['text, line]]
+    if $saturn then htpAddToPageDescription($saturnPage, text)
+    if $standard then htpAddToPageDescription($curPage, text)
+  PAIRP line =>
+    $htLineList := NCONC(nreverse mapStringize COPY_-LIST line, $htLineList)
+  $htLineList := [basicStringize line, :$htLineList]
+
+--=======================================================================
+--                        New issueHT
+--=======================================================================
+
+--------------------> NEW DEFINITION (see ht-util.boot.pamphlet)
+htShowPage() ==
+-- show the page which has been computed
+  htSayStandard '"\endscroll"
+  htShowPageNoScroll()
+
+------------------> NEW DEFINITION (see ht-util.boot.pamphlet)
+htShowPageNoScroll() ==
+-- show the page which has been computed
+  htSayStandard '"\autobuttons"
+  if $standard then
+    htpSetPageDescription($curPage, nreverse htpPageDescription $curPage)
+  if $saturn then
+    htpSetPageDescription($saturnPage, nreverse htpPageDescription $saturnPage)
+  $newPage := false
+  ----------------------
+  if $standard then
+    $htLineList := nil
+    htMakePage htpPageDescription $curPage
+    if $htLineList then line := APPLY(function CONCAT, nreverse $htLineList)
+    issueHTStandard line
+  ----------------------
+  if $saturn then
+    $htLineList := nil
+    htMakePage htpPageDescription $saturnPage
+    if $htLineList then line := APPLY(function CONCAT, nreverse $htLineList)
+    issueHTSaturn line
+  ----------------------
+  endHTPage()
+
+--------------------> NEW DEFINITION <--------------------------
+issueHTSaturn line == --called by htMakePageNoScroll and htMakeErrorPage
+  if $saturn then
+     $marg      : local := 0
+     $linelength: local := 80
+     writeSaturn '"\inputonce{<AXIOM>/doc/browser/browmacs.tex}"
+     writeSaturnPrefix()
+     writeSaturn(line)
+     writeSaturnSuffix()
+     if $saturnFileNumber then
+       fn := STRCONC('"sat", STRINGIMAGE $saturnFileNumber, '".tex")
+       obey STRCONC('"doswrite -a saturn.tex ",fn, '".tex")
+       $saturnFileNumber := $saturnFileNumber + 1
+
+writeSaturnPrefix() ==
+  $saturnContextMenuLines =>
+    index :=
+      STRINGIMAGE ($saturnContextMenuIndex := $saturnContextMenuIndex + 1)
+    writeSaturnLines
+      ['"\newmenu{BCM", index,
+          '"}{",:nreverse $saturnContextMenuLines,
+            '"}\usemenu{BCM", index,'"}{\vbox{"]
+
+writeSaturnSuffix() ==
+  $saturnContextMenuLines => saturnPRINTEXP '"}}"
+
+issueHTStandard line == --called by htMakePageNoScroll and htMakeErrorPage
+  if $standard then
+  --unescapeStringsInForm line
+    sockSendInt($MenuServer, $SendLine)
+    sockSendString($MenuServer, line)
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htMakeErrorPage htPage ==
+  $newPage := false
+  $htLineList := nil
+  if $standard then $curPage := htPage
+  if $saturn then $saturnPage := htPage
+  htMakePage htpPageDescription htPage
+  line := APPLY(function CONCAT, nreverse $htLineList)
+  issueHT line
+  endHTPage()
+
+writeSaturnLines lines ==
+  for line in lines repeat
+   if line ^= '"" and line.0 = char '_\ then saturnTERPRI()
+   saturnPRINTEXP line
+
+writeSaturn(line) ==
+  k := 0
+  n := MAXINDEX line
+  while  --advance k if true
+      k > n => false
+      line.k ^= char '_\ => true
+      code := isBreakSegment?(line, k + 1,n) => false
+      true
+    repeat (k := k + 1)
+  k > n => writeSaturnPrint(line)
+  segment := SUBSTRING(line,0,k)
+  writeSaturnPrint(segment)
+  code = 1 =>
+    writeSaturnPrint('"\\")
+    writeSaturn SUBSTRING(line,k + 2, nil)
+  code = 2 =>
+    writeSaturnPrint('"  &")
+    writeSaturn SUBSTRING(line,k + 4, nil)
+  code = 3 =>
+    writeSaturnPrint('"\item")
+    writeSaturn SUBSTRING(line,k + 5,nil)
+  code = 4 =>
+    writeSaturnPrint('"\newline")
+    writeSaturn SUBSTRING(line,k + 8,nil)
+  code = 5 =>
+    writeSaturnPrint('"\table{")
+    $marg := $marg + 3
+    writeSaturnTable SUBSTRING(line,k + 7,nil)
+  code = 6 =>
+    i := charPosition(char '_},line,k + 4)
+    tabCode := SUBSTRING(line,k, i - k + 1)
+    writeSaturnPrint tabCode
+    line := SUBSTRING(line,i + 1, nil)
+    writeSaturn line
+  code = 7 =>
+    saturnTERPRI()
+    writeSaturn SUBSTRING(line, k + 2,nil)
+  code = 8 =>
+    i :=
+      substring?('"\beginmenu",  line,k) => k + 9
+      substring?('"\beginscroll",line,k) => k + 11
+      charPosition(char '_},line,k)
+    if char '_[ = line.(i + 1) then
+      i := charPosition(char '_], line, i + 2)
+    beginCode := SUBSTRING(line,k, i - k + 1)
+    writeSaturnPrint(beginCode)
+    line := SUBSTRING(line,i + 1,nil)
+    writeSaturn line
+  code = 9 =>
+    i :=
+      substring?('"\endmenu",line,k)   => k + 7
+      substring?('"\endscroll",line,k) => k + 9
+      charPosition(char '_},line,k)
+    endCode := SUBSTRING(line,k, i - k + 1)
+    writeSaturnPrint(endCode)
+    line := SUBSTRING(line,i + 1,nil)
+    $marg := $marg - 3
+    writeSaturn line
+  systemError code
+
+isBreakSegment?(line, k, n) ==
+  k > n => nil
+  char2 := line . k
+  char2 = (char '_\) => 1
+  char2 = (char '_&) =>
+    substring?('"&\&", line, k) => 2
+    nil
+  char2 = char 'i =>
+    substring?('"item",line,k) => 3
+    nil
+  char2 = char 'n =>
+    substring?('"newline",line,k) => 4
+    nil
+  char2 = char 't =>
+    (k := k + 2) > n => nil
+    line.(k - 1) = char 'a and line.k = char 'b =>
+      (k := k + 1) > n => nil
+      line.k = char "{" => 6
+      substring?('"table",line,k - 3) => 5
+      nil
+  char2 = (char '_!) => 7
+  char2 = char 'b =>
+    substring?('"begin",line,k) => 8
+    nil
+  char2 = (char 'e)  =>
+    substring?('"end",line,k) => 9
+    nil
+  nil
+
+writeSaturnPrint s ==
+  for i in 0..($marg - 1) repeat saturnPRINTEXP '" "
+  saturnPRINTEXP s
+  saturnTERPRI()
+
+saturnPRINTEXP s ==
+  $browserOutputStream => PRINTEXP(s,$browserOutputStream)
+  PRINTEXP s
+
+saturnTERPRI() ==
+  $browserOutputStream => TERPRI($browserOutputStream)
+  TERPRI()
+
+writeSaturnTable line ==
+  open := charPosition(char '"_{",line,0)
+  close:= charPosition(char '"_}",line,0)
+  open < close =>
+    close := findBalancingBrace(line,open + 1,MAXINDEX line,0) or error '"no balancing brace"
+    writeSaturnPrint SUBSTRING(line,0,close + 1)
+    writeSaturnTable SUBSTRING(line,close + 1,nil)
+  $marg := $marg - 3
+  writeSaturnPrint SUBSTRING(line,0,close + 1)
+  writeSaturn SUBSTRING(line, close + 1,nil)
+
+findBalancingBrace(s,k,n,level) ==
+  k > n => nil
+  c := s . k
+  c = char '_{ => findBalancingBrace(s, k + 1, n, level + 1)
+  c = char '_} =>
+    level = 0 => k
+    findBalancingBrace(s, k + 1, n, level - 1)
+  findBalancingBrace(s, k + 1, n, level)
+
+--=======================================================================
+--            htMakePage and friends
+--=======================================================================
+htMakePageStandard itemList ==
+  $saturn => nil
+  htMakePage itemList
+
+htMakePageSaturn itemList ==
+  $standard => nil
+  htMakePage itemList
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htMakePage itemList ==
+  if $newPage then
+    if $saturn then htpAddToPageDescription($saturnPage, saturnTran itemList)
+    if $standard then htpAddToPageDescription($curPage, itemList)
+  htMakePage1 itemList
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htMakePage1 itemList ==
+-- make a page given the description in itemList
+  for u in itemList repeat
+    itemType := 'text
+    items :=
+      STRINGP u => u
+      ATOM u => STRINGIMAGE u
+      STRINGP first u => u
+      u is ['text, :s] => s
+      itemType := first u
+      rest u
+    itemType = 'text              => iht items
+--      $saturn => bcHt items
+--      $standard => iht items
+    itemType = 'lispLinks         => htLispLinks items
+    itemType = 'lispmemoLinks     => htLispMemoLinks items
+    itemType = 'bcLinks           => htBcLinks items               --->
+    itemType = 'bcLinksNS         => htBcLinks(items,true)
+    itemType = 'bcLispLinks       => htBcLispLinks items           --->
+    itemType = 'radioButtons      => htRadioButtons items
+    itemType = 'bcRadioButtons    => htBcRadioButtons items
+    itemType = 'inputStrings      => htInputStrings items
+    itemType = 'domainConditions  => htProcessDomainConditions items
+    itemType = 'bcStrings         => htProcessBcStrings items
+    itemType = 'toggleButtons     => htProcessToggleButtons items
+    itemType = 'bcButtons         => htProcessBcButtons items
+    itemType = 'doneButton        => htProcessDoneButton items
+    itemType = 'doitButton        => htProcessDoitButton items
+    systemError '"unexpected branch"
+
+saturnTran x ==
+  x is [[kind, [s1, s2, :callTail]]] and MEMQ(kind,'(bcLinks bcLispLinks)) =>
+    text := saturnTranText s2
+    fs :=  getCallBackFn callTail
+    y := isMenuItemStyle? s1 =>  ----> y is text for button in 2nd column
+      t1 :=  mkDocLink(fs, mkMenuButton())
+      y = '"" =>
+        s2 = '"" => t1
+        mkTabularItem [t1, text]
+      t2 :=  mkDocLink(fs, y)
+      mkTabularItem [t1, t2, text]
+    t := mkDocLink(fs, s1)
+    [:t, :text]
+  x is [['text,:r],:.] => r
+  error nil
+
+mkBold s ==
+  secondPart :=
+    atom s => [s, '"}"]
+    [:s, '"}"]
+  ['"{\bf ", :secondPart]
+
+mkMenuButton() == [menuButton()]
+
+menuButton() == '"\menuitemstyle{}"
+-- Saturn must translate \menuitemstyle ==> {\menuButton}
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+--replaces htMakeButton
+getCallBackFn form ==
+  func := mkCurryFun(first form, rest form)
+  STRCONC('"(|htDoneButton| '|", func, '"| ",htpName page(), '")")
+
+mkDocLink(code,s) ==
+  if atom code then code := [code]
+  if atom s    then s    := [s]
+  ['"\lispLink[d]{\verb!", :code, '"!}{", :s, '"}"]
+
+saturnTranText x ==
+  STRINGP x         => [unTab x]
+  null x            => nil
+  r is [s,fn,:.] and s = '"\unixcommand{" => ['"{\it ",s,'".spad}"]
+  x is [['text, :s],:r] => unTab [:s, :saturnTranText r]
+  error nil
+
+isMenuItemStyle? s ==
+  15 = STRING_<('"\menuitemstyle{", s) => SUBSTRING(s,15,(MAXINDEX s) - 15)
+  nil
+
+getCallBack callTail ==
+  LASSOC(callTail, $callTailList) or
+    callTail is [fn] => callTail
+    error nil
+
+--=======================================================================
+--              Redefinitions from hypertex.boot
+--=======================================================================
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+endHTPage() ==
+  $standard => sockSendInt($MenuServer, $EndOfPage)
+  nil
+
+--=======================================================================
+--              Redefinitions from ht-util.boot
+--=======================================================================
+htSayHrule() == bcHt
+  $saturn => '"\hrule{}\newline{}"
+  '"\horizontalline{}\newline{}"
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htpAddInputAreaProp(htPage, label, prop) ==
+------------> Add STRINGIMAGE
+  SETELT(htPage, 5, [[label, nil, nil, nil, :prop], :ELT(htPage, 5)])
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htpSetLabelInputString(htPage, label, val) ==
+------------> Add STRINGIMAGE
+-- value user typed as input string on page
+  props := LASSOC(label, htpInputAreaAlist htPage)
+  props => SETELT(props, 0, STRINGIMAGE val)
+  nil
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htDoneButton(func, htPage, :optionalArgs) ==
+------> Handle argument values passed from page if present
+  if optionalArgs then
+    htpSetInputAreaAlist(htPage,CAR optionalArgs)
+  typeCheckInputAreas htPage =>
+    htMakeErrorPage htPage
+  NULL FBOUNDP func =>
+    systemError ['"unknown function", func]
+  FUNCALL(SYMBOL_-FUNCTION func, htPage)
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htBcLinks(links,:options) ==
+  skipStateInfo? := IFCAR options
+  [links,options] := beforeAfter('options,links)
+  for [message, info, func, :value] in links repeat
+    link :=
+      $saturn => '"\lispLink[d]"
+      '"\lispdownlink"
+    htMakeButton(link,message,
+                   mkCurryFun(func, value),skipStateInfo?)
+    bcIssueHt info
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htBcLispLinks links ==
+  [links,options] := beforeAfter('options,links)
+  for [message, info, func, :value] in links repeat
+    link :=
+      $saturn => '"\lispLink[n]"
+      '"\lisplink"
+    htMakeButton(link ,message, mkCurryFun(func, value))
+    bcIssueHt info
+
+htMakeButton(htCommand, message, func,:options) ==
+  $saturn => htMakeButtonSaturn(htCommand, message, func, options)
+  skipStateInfo? := IFCAR options
+  iht [htCommand, '"{"]
+  bcIssueHt message
+  skipStateInfo? =>
+    iht ['"}{(|htDoneButton| '|", func, '"| ",htpName $curPage, '")}"]
+  iht ['"}{(|htDoneButton| '|", func, '"| (PROGN "]
+  for [id, ., ., ., type, :.] in htpInputAreaAlist $curPage repeat
+    iht ['"(|htpSetLabelInputString| ", htpName $curPage, '"'|", id, '"| "]
+    if type = 'string then
+      iht ['"_"\stringvalue{", id, '"}_""]
+    else
+      iht ['"_"\boxvalue{", id, '"}_""]
+    iht '") "
+  iht [htpName $curPage, '"))}"]
+
+htMakeButtonSaturn(htCommand, message, func,options) ==
+  skipStateInfo? := IFCAR options
+  iht htCommand
+  skipStateInfo? =>
+    iht ['"{\verb!(|htDoneButton| '|", func, '"| ",htpName page(), '")!}{"]
+    bcIssueHt message
+    iht '"}"
+  iht ['"{\verb!(|htDoneButton| '|", func, '"| "]
+  if $kPageSaturnArguments then
+    iht '"(PROGN "
+    for id in $kPageSaturnArguments for var in $PatternVariableList  repeat
+      iht ['"(|htpSetLabelInputString| ", htpName page(), '"'|", var, '"| "]
+      iht ["'|!\", id, '"\verb!|"]
+      iht '")"
+    iht htpName $saturnPage
+    iht '")"
+  else
+    iht htpName $saturnPage
+  iht '")!}{"
+  bcIssueHt message
+  iht '"}"
+
+htpAddToPageDescription(htPage, pageDescrip) ==
+  newDescript :=
+    STRINGP pageDescrip => [pageDescrip, :ELT(htPage, 7)]
+    nconc(nreverse COPY_-LIST pageDescrip, ELT(htPage, 7))
+  SETELT(htPage, 7, newDescript)
+
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htProcessBcStrings strings ==
+  for [numChars, default, stringName, spadType, :filter] in strings repeat
+    mess2 := '""
+    if NULL LASSOC(stringName, htpInputAreaAlist page()) then
+      setUpDefault(stringName, ['string, default, spadType, filter])
+    if htpLabelErrorMsg(page(), stringName) then
+      iht ['"\centerline{{\em ", htpLabelErrorMsg(page(), stringName), '"}}"]
+      mess2 := CONCAT(mess2, bcSadFaces())
+      htpSetLabelErrorMsg(page(), stringName, nil)
+    iht ['"\inputstring{", stringName, '"}{",
+         numChars, '"}{", htpLabelDefault(page(),stringName), '"} ", mess2]
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+setUpDefault(name, props) ==
+  htpAddInputAreaProp(page(), name, props)
+
+--------------------> NEW DEFINITION (override in ht-util.boot.pamphlet)
+htInitPage(title, propList) ==
+-- start defining a hyperTeX page
+  htInitPageNoScroll(propList, title)
+  htSayStandard '"\beginscroll "
+  page()
+
+--------------------> NEW DEFINITION <--------------------------
+htInitPageNoScroll(propList, :options) ==
+--start defining a hyperTeX page
+  $atLeastOneUnexposed := nil     --reset every time a new page is initialized
+  $saturnContextMenuLines := nil
+  title := IFCAR options
+  $curPage :=
+    $standard => htpMakeEmptyPage(propList)
+    nil
+  if $saturn then $saturnPage := htpMakeEmptyPage(propList)
+  $newPage := true
+  $htLineList := nil
+  if title then
+    if $standard then htSayStandard ['"\begin{page}{", htpName $curPage, '"}{"]
+    htSaySaturn '"\browseTitle{"
+    htSay title
+    htSaySaturn '"}"
+    htSayStandard '"} "
+  page()
+--------------------> NEW DEFINITION <--------------------------
+htInitPageNoHeading(propList) ==
+--start defining a hyperTeX page
+  $curPage :=
+    $standard => htpMakeEmptyPage(propList)
+  if $saturn then $saturnPage := htpMakeEmptyPage(propList)
+  $newPage := true
+  $htLineList := nil
+  page()
+
+--------------------> NEW DEFINITION <--------------------------
+htpMakeEmptyPage(propList,:options) ==
+  name := IFCAR options or  GENTEMP()
+  if not $saturn then
+    $activePageList := [name, :$activePageList]
+  SET(name, val := VECTOR(name, nil, nil, nil, nil, nil, propList, nil))
+  val
+
+--=======================================================================
+--              Redefinitions from br-con.boot
+--=======================================================================
+kPage(line,:options) == --any cat, dom, package, default package
+--constructors    Cname\#\E\sig \args   \abb \comments (C is C, D, P, X)
+  parts := dbXParts(line,7,1)
+  [kind,name,nargs,xflag,sig,args,abbrev,comments] := parts
+  form := IFCAR options
+  isFile := null kind
+  kind := kind or '"package"
+  RPLACA(parts,kind)
+  conform         := mkConform(kind,name,args)
+  $kPageSaturnArguments: local := rest conform
+  conname         := opOf conform
+  capitalKind     := capitalize kind
+  signature       := ncParseFromString sig
+  sourceFileName  := dbSourceFile INTERN name
+  constrings      :=
+    KDR form => dbConformGenUnder form
+    [STRCONC(name,args)]
+  emString        := ['"{\sf ",:constrings,'"}"]
+  heading := [capitalKind,'" ",:emString]
+  if not isExposedConstructor conname then heading := ['"Unexposed ",:heading]
+  if name=abbrev then abbrev := asyAbbreviation(conname,nargs)
+  page := htInitPageNoScroll nil
+  htAddHeading heading
+  htSayStandard("\beginscroll ")
+  htpSetProperty(page,'argSublis,mkConArgSublis rest conform)
+  htpSetProperty(page,'isFile,true)
+  htpSetProperty(page,'parts,parts)
+  htpSetProperty(page,'heading,heading)
+  htpSetProperty(page,'kind,kind)
+  if asharpConstructorName? conname then
+    htpSetProperty(page,'isAsharpConstructor,true)
+  htpSetProperty(page,'conform,conform)
+  htpSetProperty(page,'signature,signature)
+  ---what follows is stuff from kiPage with domain = nil
+  $conformsAreDomains := nil
+  dbShowConsDoc1(page,conform,nil)
+  if kind ^= 'category and nargs > 0 then addParameterTemplates(page,conform)
+  if $atLeastOneUnexposed then htSay '"\newline{}{\em *} = unexposed"
+  htSayStandard("\endscroll ")
+  kPageContextMenu page
+  htShowPageNoScroll()
+
+kPageContextMenu page ==
+  $saturn => kPageContextMenuSaturn page
+  [kind,name,nargs,xpart,sig,args,abbrev,comments] := htpProperty(page,'parts)
+  conform := htpProperty(page,'conform)
+  conname := opOf conform
+  htBeginTable()
+  htSay '"{"
+  htMakePage [['bcLinks,['Ancestors,'"",'kcaPage,nil]]]
+  htSay '"}{"
+  htMakePage [['bcLinks,['Attributes,'"",'koPage,'"attribute"]]]
+  if kind = '"category" then
+    htSay '"}{"
+    htMakePage [['bcLinks,['Children,'"",'kccPage,nil]]]
+  if not asharpConstructorName? conname then
+    htSay '"}{"
+    htMakePage [['bcLinks,['Dependents,'"",'kcdePage,nil]]]
+  if kind = '"category" then
+    htSay '"}{"
+    htMakePage [['bcLinks,['Descendents,'"",'kcdPage,nil]]]
+  if kind = '"category" then
+    htSay '"}{"
+    if not asharpConstructorName? conname then
+      htMakePage [['bcLinks,['Domains,'"",'kcdoPage,nil]]]
+    else htSay '"{\em Domains}"
+  htSay '"}{"
+  if kind ^= '"category" and (pathname := dbHasExamplePage conname)
+    then htMakePage [['bcLinks,['Examples,'"",'kxPage,pathname]]]
+    else htSay '"{\em Examples}"
+  htSay '"}{"
+  htMakePage [['bcLinks,['Exports,'"",'kePage,nil]]]
+  htSay '"}{"
+  htMakePage [['bcLinks,['Operations,'"",'koPage,'"operation"]]]
+  htSay '"}{"
+  htMakePage [['bcLinks,['Parents,'"",'kcpPage,'"operation"]]]
+  if kind ^= '"category" then
+    htSay '"}{"
+    if not asharpConstructorName? conname
+    then  htMakePage [['bcLinks,["Search Path",'"",'ksPage,nil]]]
+    else htSay '"{\em Search Path}"
+  if kind ^= '"category" then
+    htSay '"}{"
+    htMakePage [['bcLinks,['Users,'"",'kcuPage,nil]]]
+    htSay '"}{"
+    htMakePage [['bcLinks,['Uses,'"",'kcnPage,nil]]]
+  htSay '"}"
+  if $standard then htEndTable()
+
+kPageContextMenuSaturn page ==
+  $newPage    : local := nil
+  [kind,name,nargs,xpart,sig,args,abbrev,comments] := htpProperty(page,'parts)
+  $htLineList : local := nil
+  conform := htpProperty(page,'conform)
+  conname := opOf conform
+  htMakePage [['bcLinks,['"\&Ancestors",'"",'kcaPage,nil]]]
+  htMakePage [['bcLinks,['"Attri\&butes",'"",'koPage,'"attribute"]]]
+  if kind = '"category" then
+    htMakePage [['bcLinks,['"\&Children",'"",'kccPage,nil]]]
+  if not asharpConstructorName? conname then
+    htMakePage [['bcLinks,['"\&Dependents",'"",'kcdePage,nil]]]
+  if kind = '"category" then
+    htMakePage [['bcLinks,['"Desce\&ndents",'"",'kcdPage,nil]]]
+  if kind = '"category" then
+    if not asharpConstructorName? conname then
+      htMakePage [['bcLinks,['"Do\&mains",'"",'kcdoPage,nil]]]
+      else htSayCold '"Do\&mains"
+  if kind ^= '"category" and (name := saturnHasExamplePage conname)
+    then saturnExampleLink name
+    else htSayCold '"E\&xamples"
+  htMakePage [['bcLinks,['"\&Exports",'"",'kePage,nil]]]
+  htMakePage [['bcLinks,['"\&Operations",'"",'koPage,'"operation"]]]
+  htMakePage [['bcLinks,['"\&Parents",'"",'kcpPage,'"operation"]]]
+  if not asharpConstructorName? conname
+    then  htMakePage [['bcLinks,['"Search O\&rder",'"",'ksPage,nil]]]
+    else htSayCold '"Search Order"
+  if kind ^= '"category" or dbpHasDefaultCategory? xpart
+    then
+       htMakePage [['bcLinks,['"\&Users",'"",'kcuPage,nil]]]
+       htMakePage [['bcLinks,['"U\&ses",'"",'kcnPage,nil]]]
+    else
+       htSayCold '"\&Users"
+       htSayCold '"U\&ses"
+  $saturnContextMenuLines := $htLineList
+
+saturnExampleLink lname ==
+  htSay '"\docLink{\csname "
+  htSay STRCONC(CAR(CDR(lname)), '"\endcsname}{E&xamples}")
+
+$exampleConstructors := nil
+
+saturnHasExamplePage conname ==
+  if not $exampleConstructors then
+     $exampleConstructors := getSaturnExampleList()
+  ASSQ(conname, $exampleConstructors)
+  
+getSaturnExampleList() == 
+  file := STRCONC( getEnv('"AXIOM"), "/doc/axug/examples.lsp")
+  not PROBE_-FILE file => nil
+  fp := MAKE_-INSTREAM file
+  lst := READ fp
+  SHUT fp
+  lst
+  
+--------------------> NEW DEFINITION (see br-con.boot.pamphlet)
+dbPresentCons(htPage,kind,:exclusions) ==
+  $saturn => dbPresentConsSaturn(htPage,kind,exclusions)
+  htpSetProperty(htPage,'exclusion,first exclusions)
+  cAlist := htpProperty(htPage,'cAlist)
+  empty? := null cAlist
+  one?   := null CDR cAlist
+  one? := empty? or one?
+  exposedUnexposedFlag := $includeUnexposed? --used to be star?       4/92
+  star?  := true     --always include information on exposed/unexposed   4/92
+  if $standard then htBeginTable()
+  htSay '"{"
+  if one? or member('abbrs,exclusions)
+    then htSay '"{\em Abbreviations}"
+    else htMakePage [['bcLispLinks,['"Abbreviations",'"",'dbShowCons,'abbrs]]]
+  htSay '"}{"
+  if one? or member('conditions,exclusions) or and/[CDR x = true for x in cAlist]
+    then htSay '"{\em Conditions}"
+    else htMakePage [['bcLispLinks,['"Conditions",'"",'dbShowCons,'conditions]]]
+  htSay '"}{"
+  if empty? or member('documentation,exclusions)
+    then htSay '"{\em Descriptions}"
+    else htMakePage [['bcLispLinks,['"Descriptions",'"",'dbShowCons,'documentation]]]
+  htSay '"}{"
+  if one? or null CDR cAlist
+    then htSay '"{\em Filter}"
+    else htMakePage
+      [['bcLinks,['"Filter",'"",'htFilterPage,['dbShowCons,'filter]]]]
+  htSay '"}{"
+  if one? or member('kinds,exclusions) or kind ^= 'constructor
+    then htSay '"{\em Kinds}"
+    else htMakePage [['bcLispLinks,['"Kinds",'"",'dbShowCons,'kinds]]]
+  htSay '"}{"
+  if one? or member('names,exclusions)
+    then htSay '"{\em Names}"
+    else htMakePage [['bcLispLinks,['"Names",'"",'dbShowCons,'names]]]
+  htSay '"}{"
+  if one? or member('parameters,exclusions) or not or/[CDAR x for x in cAlist]
+    then htSay '"{\em Parameters}"
+    else htMakePage [['bcLispLinks,['"Parameters",'"",'dbShowCons,'parameters]]]
+  htSay '"}{"
+  if $exposedOnlyIfTrue
+    then
+      if one?
+      then htSay '"{\em Unexposed Also}"
+      else htMakePage [['bcLinks,['"Unexposed Also",'"",'dbShowCons,'exposureOff]]]
+    else
+      if one?
+      then htSay '"{\em Exposed Only}"
+      else htMakePage [['bcLinks,['"Exposed Only",'"",'dbShowCons,'exposureOn]]]
+  htSay '"}"
+  if $standard then htEndTable()
+
+dbPresentConsSaturn(htPage,kind,exclusions) ==
+  $htLineList : local := nil
+  $newPage    : local := nil
+  htpSetProperty(htPage,'exclusion,first exclusions)
+  cAlist := htpProperty(htPage,'cAlist)
+  empty? := null cAlist
+  one?   := null KDR cAlist
+  one? := empty? or one?
+  exposedUnexposedFlag := $includeUnexposed? --used to be star?       4/92
+  star?  := true     --always include information on exposed/unexposed   4/92
+  if $standard then htBeginTable()
+  if one? or member('abbrs,exclusions)
+    then htSayCold '"\&Abbreviations"
+    else htMakePage [['bcLispLinks,['"\&Abbreviations",'"",'dbShowCons,'abbrs]]]
+  if one? or member('conditions,exclusions) or and/[CDR x = true for x in cAlist]
+    then htSayCold '"\&Conditions"
+    else htMakePage [['bcLispLinks,['"\&Conditions",'"",'dbShowCons,'conditions]]]
+  if empty? or member('documentation,exclusions)
+    then htSayCold '"\&Descriptions"
+    else htMakePage [['bcLispLinks,['"\&Descriptions",'"",'dbShowCons,'documentation]]]
+  if one? or null CDR cAlist
+    then htSayCold '"\&Filter"
+    else htMakeSaturnFilterPage ['dbShowCons, 'filter]
+  if one? or member('kinds,exclusions) or kind ^= 'constructor
+    then htSayCold '"\&Kinds"
+    else htMakePage [['bcLispLinks,['"\&Kinds",'"",'dbShowCons,'kinds]]]
+  if one? or member('names,exclusions)
+    then htSayCold '"\&Names"
+    else htMakePage [['bcLispLinks,['"\&Names",'"",'dbShowCons,'names]]]
+  if one? or member('parameters,exclusions) or not or/[CDAR x for x in cAlist]
+    then htSayCold '"\&Parameters"
+    else htMakePage [['bcLispLinks,['"\&Parameters",'"",'dbShowCons,'parameters]]]
+  htSaySaturn '"\hrule"
+  if $exposedOnlyIfTrue
+    then
+      if one? then htSayCold '"\&Unexposed Also"
+      else htMakePage [['bcLinks,['"\&Unexposed Also",'"",'dbShowCons,'exposureOff]]]
+    else
+      if one? then htSayCold '"\Exposed Only\&y"
+      else htMakePage [['bcLinks,['"Exposed Onl\&y",'"",'dbShowCons,'exposureOn]]]
+  if $standard then htEndTable()
+  $saturnContextMenuLines := $htLineList
+
+htFilterPage(htPage,args) ==
+  htInitPage("Filter String",htCopyProplist htPage)
+  htSay "\centerline{Enter filter string (use {\em *} for wild card):}"
+  htSay '"\centerline{"
+  htMakePage [['bcStrings, [50,'"",'filter,'EM]]]
+  htSay '"}\vspace{1}\centerline{"
+  htMakePage [['bcLispLinks,['"\fbox{Filter}",'"",:args]]]
+  htSay '"}"
+  htShowPage()
+
+htMakeSaturnFilterPage [fn2Call,:args] ==
+  htSay '"\inputboxLink[\lispLink[d]{\verb+(|"
+  htSay fn2Call
+  htSay '"| "
+  htSay htpName $saturnPage
+  for x in args repeat
+    htSay '" '|"
+    htSay x
+    htSay '"|"
+  htSay '" _"+_\FILTERSTRING\verb+_")+}{}]{\FILTERSTRING}{*}"
+  htSay '"{\centerline{Enter filter string (use {\em *} for wild card):}}"
+  htSay '"{Filter Page}{\&Filter}"
+
+dbShowConsKinds cAlist ==
+  cats := doms := paks := defs := nil
+  for x in cAlist repeat
+    op := CAAR x
+    kind := dbConstructorKind op
+    kind  = 'category => cats := [x,:cats]
+    kind = 'domain    => doms := [x,:doms]
+    kind = 'package   => paks := [x,:paks]
+    defs := [x,:defs]
+  lists := [NREVERSE cats,NREVERSE doms,NREVERSE paks,NREVERSE defs]
+  htBeginMenu 'description
+  htSayStandard '"\indent{1}"
+  kinds := +/[1 for x in lists | #x > 0]
+  firstTime := true
+  for kind in '("category" "domain" "package" "default package") for x in lists | #x > 0 repeat
+    if firstTime then firstTime := false
+                 else htSaySaturn '"\\"
+    htSaySaturn '"\item["
+    htSayStandard '"\item"
+    if kinds = 1
+       then htSay menuButton()
+       else htMakePage
+         [['bcLinks,[menuButton(),'"",'dbShowConsKindsFilter,[kind,x]]]]
+    htSaySaturn '"]"
+    htSayStandard '"\tab{1}"
+    htSay('"{\em ",c := #x,'" ")
+    htSay(c > 1 => pluralize kind; kind)
+    htSay '":}"
+    htSaySaturn '"\\"
+    bcConTable REMDUP [CAAR y for y in x]
+  htEndMenu 'description
+  htSayStandard '"\indent{0}"
+
+addParameterTemplates(page, conform) ==
+---------------> from kPage <-----------------------
+  parlist := [STRINGIMAGE par for par in rest conform]
+  manuelsCode? := "MAX"/[#s for s in parlist] > 10
+  w := (manuelsCode? => 55; 23)
+  htSaySaturn '"\colorbuttonbox{lightgray}{"
+  htSay '"Optional argument value"
+  htSay
+    CDR parlist => '"s:"
+    '":"
+  htSaySaturn '"}"
+  if CDR conform then htSaySaturn '"\newline{}"
+  htSaySaturn '"\begin{tabular}{p{.25in}l}"
+  firstTime := true
+  odd := false
+  argSublis := htpProperty(page,'argSublis)
+  for parname in $PatternVariableList for par in rest conform repeat
+    htSayStandard (odd or manuelsCode? => "\newline";"\tab{29}")
+    if firstTime then firstTime := false
+                 else htSaySaturn '"\\"
+    odd := not odd
+    argstring :=
+      $conArgstrings is [a,:r] => ($conArgstrings := r; a)
+      '""
+    htMakePageStandard [['text,'"{\em ",par,'"} = "],
+        ['bcStrings,[w - #STRINGIMAGE par,argstring,parname,'EM]]]
+    if $saturn then
+      setUpDefault(parname, ['string, '"", 'EM, nil])
+    htSaySaturn '"{\em "
+    htSaySaturn par
+    htSaySaturn '" = }"
+    htSaySaturnAmpersand()
+    htSaySaturn '"\colorbuttonbox{lightgray}{\inputbox[2.5in]{\"
+    htSaySaturn SUBLIS(argSublis,par)
+    htSaySaturn '"}{"
+    htSaySaturn argstring
+    htSaySaturn '"}}"
+  htEndTabular()
+
+--------------------> NEW DEFINITION (see br-con.boot.pamphlet)
+kPageArgs([op,:args],[.,.,:source]) ==
+  htSaySaturn '"\begin{tabular}{p{.25in}lp{0in}}"
+  firstTime := true
+  coSig := rest GETDATABASE(op,'COSIG)
+  for x in args for t in source for pred in coSig repeat
+    if firstTime then firstTime := false
+                 else
+                   htSaySaturn '"\\"
+                   htSayStandard '", and"
+    htSayStandard '"\newline "
+    htSaySaturnAmpersand()
+    typeForm := (t is [":",.,t1] => t1; t)
+    if pred = true
+      then htMakePage [['bcLinks,[x,'"",'kArgPage,x]]]
+      else htSay('"{\em ",x,'"}")
+    htSayStandard( '"\tab{",STRINGIMAGE( # PNAME x),'"}, ")
+    htSaySaturnAmpersand()
+    htSay
+      pred => '"a domain of category "
+      '"an element of the domain "
+    bcConform(typeForm,true)
+  htEndTabular()
+
+--=======================================================================
+--              Redefinitions from br-op1.boot
+--=======================================================================
+--------------------> NEW DEFINITION (see br-op1.boot.pamphlet)
+dbConform form ==
+--one button for the main constructor page of a type
+  $saturn => ["\lispLink[d]{\verb!(|conPage| '",:form2Fence dbOuttran form,'")!}{",
+           :form2StringList opOf form,"}"]
+  ["\conf{",:form2StringList opOf form,'"}{",:form2Fence dbOuttran form,'"}"]
+
+--------------------> NEW DEFINITION (see br-op1.boot.pamphlet)
+htTab s == if $standard then htSayStandard ('"\tab{",s,'"}")
+
+--------------------> NEW DEFINITION (see br-op1.boot.pamphlet)
+dbGatherThenShow(htPage,opAlist,which,data,constructorIfTrue,word,fn) ==
+  single? := null rest data
+  htBeginMenu 'description
+  bincount := 0
+  for [thing,exposeFlag,:items] in data repeat
+    htSaySaturn '"\item["
+    htSayStandard ('"\item")
+    if single? then htSay(menuButton())
+    else
+      htMakePageStandard
+        [['bcLinks,[menuButton(),'"",'dbShowOps,which,bincount]]]
+      button := mkButtonBox (1 + bincount)
+      htMakePageSaturn [['bcLinks,[button,'"",'dbShowOps,which,bincount]]]
+    htSaySaturn '"]"
+    htSay '"{\em "
+    htSay
+      thing = 'nowhere => '"implemented nowhere"
+      thing = 'constant => '"constant"
+      thing = '_$ => '"by the domain"
+      INTEGERP thing => '"unexported"
+      constructorIfTrue =>
+        htSay word
+        atom thing => '" an unknown constructor"
+        '""
+      atom thing => '"unconditional"
+      '""
+    htSay '"}"
+    if null atom thing then
+      if constructorIfTrue then htSay('" {\em ",dbShowKind thing,'"}")
+      htSay '" "
+      FUNCALL(fn,thing)
+    htSay('":\newline ")
+    dbShowOpSigList(which,items,(1 + bincount) * 8192)
+    bincount := bincount + 1
+  htEndMenu 'description
+
+--------------------> NEW DEFINITION (see br-op1.boot.pamphlet)
+dbPresentOps(htPage,which,:exclusions) ==
+  $saturn => dbPresentOpsSaturn(htPage,which,exclusions)
+  asharp? := htpProperty(htPage,'isAsharpConstructor)
+  fromConPage? := (conname := opOf htpProperty(htPage,'conform))
+  usage? := nil
+  star? := not fromConPage? or which = '"package operation"
+  implementation? := not asharp? and
+    $UserLevel = 'development and $conformsAreDomains --and not $includeUnexposed?
+  rightmost? := star? or (implementation? and not $includeUnexposed?)
+  if INTEGERP first exclusions then exclusions := ['documentation]
+  htpSetProperty(htPage,'exclusion,first exclusions)
+  opAlist :=
+    which = '"operation" => htpProperty(htPage,'opAlist)
+    htpProperty(htPage,'attrAlist)
+  empty? := null opAlist
+  one?   := opAlist is [entry] and 2 = #entry
+  one? := empty? or one?
+  htBeginTable()
+  htSay '"{"
+  if one? or member('conditions,exclusions)
+                 or (htpProperty(htPage,'condition?) = 'no)
+      then htSay '"{\em Conditions}"
+      else htMakePage [['bcLispLinks,['"Conditions",'"",'dbShowOps,which,'conditions]]]
+  htSay '"}{"
+  if empty? or member('documentation,exclusions)
+    then htSay '"{\em Descriptions}"
+    else htMakePage [['bcLispLinks,['"Descriptions",'"",'dbShowOps,which,'documentation]]]
+  htSay '"}{"
+  if null IFCDR opAlist
+    then htSay '"{\em Filter}"
+    else htMakePage [['bcLinks,['"Filter ",'"",'htFilterPage,['dbShowOps,which,'filter]]]]
+  htSay '"}{"
+  if one? or member('names,exclusions) or null KDR opAlist
+    then htSay '"{\em Names}"
+    else htMakePage [['bcLispLinks,['"Names",'"",'dbShowOps,which,'names]]]
+  if not star? then
+    htSay '"}{"
+    if not implementation? or member('implementation,exclusions) or which = '"attribute" or
+      ((conname := opOf htpProperty(htPage,'conform))
+        and GETDATABASE(conname,'CONSTRUCTORKIND) = 'category)
+    then htSay '"{\em Implementations}"
+    else htMakePage
+      [['bcLispLinks,['"Implementations",'"",'dbShowOps,which,'implementation]]]
+  htSay '"}{"
+  if one? or member('origins,exclusions)
+    then htSay '"{\em Origins}"
+    else htMakePage [['bcLispLinks,['"Origins",'"",'dbShowOps,which,'origins]]]
+  htSay '"}{"
+  if one? or member('parameters,exclusions) --also test for some parameter
+      or not dbDoesOneOpHaveParameters? opAlist
+    then htSay '"{\em Parameters}"
+    else htMakePage [['bcLispLinks,['"Parameters",'"",'dbShowOps,which,'parameters]]]
+  htSay '"}{"
+  if which ^= '"attribute" then
+    if one? or member('signatures,exclusions)
+      then htSay '"{\em Signatures}"
+      else htMakePage [['bcLispLinks,['"Signatures",'"",'dbShowOps,which,'signatures]]]
+  htSay '"}"
+  if star? then
+    htSay '"{"
+    if $exposedOnlyIfTrue
+    then if one?
+         then htSay '"{\em Unexposed Also}"
+         else htMakePage [['bcLinks,['"Unexposed Also",'"",'dbShowOps,which,'exposureOff]]]
+    else if one?
+         then htSay '"{\em Exposed Only}"
+         else htMakePage [['bcLinks,['"Exposed Only",'"",'dbShowOps, which,'exposureOn]]]
+    htSay '"}"
+  htEndTable()
+
+dbPresentOpsSaturn(htPage,which,exclusions) ==
+  $htLineList : local := nil
+  $newPage    : local := nil
+  asharp? := htpProperty(htPage,'isAsharpConstructor)
+  fromConPage? := (conname := opOf htpProperty(htPage,'conform))
+  usage? := nil
+  star? := not fromConPage? or which = '"package operation"
+  implementation? := not asharp? and
+    $UserLevel = 'development and $conformsAreDomains --and not $includeUnexposed?
+  rightmost? := star? or (implementation? and not $includeUnexposed?)
+  if INTEGERP first exclusions then exclusions := ['documentation]
+  htpSetProperty(htPage,'exclusion,first exclusions)
+  opAlist :=
+    which = '"operation" => htpProperty(htPage,'opAlist)
+    htpProperty(htPage,'attrAlist)
+  empty? := null opAlist
+  one?   := opAlist is [entry] and 2 = #entry
+  one? := empty? or one?
+  if one? or member('conditions,exclusions)
+                 or (htpProperty(htPage,'condition?) = 'no)
+      then htSayCold '"\&Conditions"
+      else htMakePage [['bcLispLinks,['"\&Conditions",'"",'dbShowOps,which,'conditions]]]
+  if empty? or member('documentation,exclusions)
+    then htSayCold '"\&Descriptions"
+    else htMakePage [['bcLispLinks,['"\&Descriptions",'"",'dbShowOps,which,'documentation]]]
+  if null IFCDR opAlist
+    then htSayCold '"\&Filter"
+    else htMakeSaturnFilterPage ['dbShowOps, which, 'filter]
+  if not implementation? or member('implementation,exclusions) or which = '"attribute" or
+      ((conname := opOf htpProperty(htPage,'conform))
+        and GETDATABASE(conname,'CONSTRUCTORKIND) = 'category)
+    then htSayCold '"\&Implementations"
+    else htMakePage
+      [['bcLispLinks,['"\&Implementations",'"",'dbShowOps,which,'implementation]]]
+  if one? or member('names,exclusions) or null KDR opAlist
+    then htSayCold '"\&Names"
+    else htMakePage [['bcLispLinks,['"\&Names",'"",'dbShowOps,which,'names]]]
+  if one? or member('origins,exclusions)
+    then htSayCold '"\&Origins"
+    else htMakePage [['bcLispLinks,['"\&Origins",'"",'dbShowOps,which,'origins]]]
+  if one? or member('parameters,exclusions) --also test for some parameter
+      or not dbDoesOneOpHaveParameters? opAlist
+    then htSayCold '"\&Parameters"
+    else htMakePage [['bcLispLinks,['"\&Parameters",'"",'dbShowOps,which,'parameters]]]
+  if which ^= '"attribute" then
+    if one? or member('signatures,exclusions)
+      then htSayCold '"\&Signatures"
+      else htMakePage [['bcLispLinks,['"\&Signatures",'"",'dbShowOps,which,'signatures]]]
+  if star? then
+    htSay '"\hrule"
+    if $exposedOnlyIfTrue
+      then if one? then htSayCold '"\&Unexposed Also"
+      else htMakePage [['bcLinks,['"\&Unexposed Also",'"",'dbShowOps,which,'exposureOff]]]
+    else
+      if one? then htSayCold '"Exposed Onl\&y"
+      else htMakePage [['bcLinks,['"Exposed Onl\&y",'"",'dbShowOps,which,'exposureOn]]]
+  $saturnContextMenuLines := $htLineList
+
+--=======================================================================
+--              Redefinitions from br-search.boot
+--=======================================================================
+---------------------> OLD DEFINITION (override in br-search.boot.pamphlet)
+htShowPageStar() ==
+  $saturn => htShowPageStarSaturn()
+  htSayStandard '"\endscroll "
+  if $exposedOnlyIfTrue then
+    htMakePage [['bcLinks,['"Unexposed Also",'"",'repeatSearch,NIL]]]
+  else
+    htMakePage [['bcLinks,['"Exposed Only",'"",'repeatSearch,'T]]]
+  htShowPageNoScroll()
+
+htShowPageStarSaturn() ==
+  $newPage    : local := nil
+  $htLineList : local := nil
+  if $exposedOnlyIfTrue then
+    htMakePage [['bcLinks,['"Unexposed Also",'"",'repeatSearch,NIL]]]
+  else
+    htMakePage [['bcLinks,['"Exposed Only",'"",'repeatSearch,'T]]]
+  $saturnContextMenuLines := $htLineList
+  htShowPageNoScroll()
+
+--=======================================================================
+--              Redefinitions from br-op2.boot
+--=======================================================================
+
+--------------> NEW DEFINITION (see br-op2.boot.pamphlet)
+displayDomainOp(htPage,which,origin,op,sig,predicate,
+		doc,index,chooseFn,unexposed?,$generalSearch?) ==
+  $chooseDownCaseOfType : local := true	  --see dbGetContrivedForm
+  $whereList  : local := nil
+  $NumberList : local := '(i j k l m n i1 j1 k1 l1 m1 n1 i2 j2 k2 l2 m2 n2 i3 j3 k3 l3 m3 n3 i4 j4 k4 l4 m4 n4 )
+  $ElementList: local := '(x y z u v w x1 y1 z1 u1 v1 w1 x2 y2 z2 u2 v2 w2 x3 y3 z3 u3 v3 w3 x4 y4 z4 u4 v4 w4 )
+  $FunctionList:local := '(f g h d e F G H)
+  $DomainList:	local := '(D R S E T A B C M N P Q U V W)
+  exactlyOneOpSig     := null index
+  conform   := htpProperty(htPage,'domname) or htpProperty(htPage,'conform)
+		 or origin
+  if $generalSearch? then $DomainList := rest $DomainList
+  opform :=
+    which = '"attribute" =>
+      null sig => [op]
+      [op,sig]
+    which = '"constructor" => origin
+    dbGetDisplayFormForOp(op,sig,doc)
+  htSayStandard('"\newline")
+  -----------------------------------------------------------
+  htSaySaturn '"\item["
+  if exactlyOneOpSig
+    then htSay menuButton()
+    else htMakePage
+      [['bcLinks,[menuButton(),'"",chooseFn,which,index]]]
+  htSaySaturn '"]"
+  htSayStandard '"\tab{2}"
+  op   := IFCAR opform
+  args := IFCDR opform
+  ops := escapeSpecialChars STRINGIMAGE op
+  n := #sig
+  do
+    n = 2 and LASSOC('Nud,PROPLIST op) => htSay(ops,'" {\em ",quickForm2HtString KAR args,'"}")
+    n = 3 and LASSOC('Led,PROPLIST op) => htSay('"{\em ",quickForm2HtString KAR args,'"} ",ops,'" {\em ",quickForm2HtString KAR KDR args,'"}")
+    if unexposed? and $includeUnexposed? then
+      htSayUnexposed()
+    htSay(ops)
+    predicate='ASCONST or GETDATABASE(op,'NILADIC) or member(op,'(0 1)) => 'skip
+    which = '"attribute" and null args => 'skip
+    htSay('"(")
+    if IFCAR args then htSay('"{\em ",quickForm2HtString IFCAR args,'"}")
+    for x in IFCDR args repeat
+      htSay('",{\em ",quickForm2HtString x,'"}")
+    htSay('")")
+  -----------prepare to print description---------------------
+  constring := form2HtString conform
+  conname   := first conform
+  $conkind   : local := htpProperty(htPage,'kind) -- a string e.g. "category"
+			  or STRINGIMAGE GETDATABASE(conname,'CONSTRUCTORKIND)
+  $conlength : local := #constring
+  $conform   : local := conform
+  $conargs   : local := rest conform
+  if which = '"operation" then
+    $signature : local :=
+      MEMQ(conname,$Primitives) => nil
+      CDAR getConstructorModemap conname
+    --RDJ: this next line is necessary until compiler bug is fixed
+    --that forgets to substitute #variables for t#variables;
+    --check the signature for SegmentExpansionCategory, e.g.
+    tvarlist := TAKE(# $conargs,$TriangleVariableList)
+    $signature := SUBLISLIS($FormalMapVariableList,tvarlist,$signature)
+  $sig :=
+    which = '"attribute" or which = '"constructor" => sig
+    $conkind ^= '"package" => sig
+    symbolsUsed := [x for x in rest conform | IDENTP x]
+    $DomainList := SETDIFFERENCE($DomainList,symbolsUsed)
+    getSubstSigIfPossible sig
+  -----------------------------------------------------------
+  htSaySaturn '"\begin{tabular}{lp{0in}}"
+  -----------------------------------------------------------
+  if member(which,'("operation" "constructor")) then
+    $displayReturnValue: local := nil
+    if args then
+      htSayStandard('"\newline\tab{2}{\em Arguments:}")
+      htSaySaturn '"{\em Arguments:}"
+      htSaySaturnAmpersand()
+      firstTime := true
+      coSig := KDR GETDATABASE(op,'COSIG)  --check if op is constructor
+      for a in args for t in rest $sig repeat
+            if not firstTime then
+              htSaySaturn '"\\ "
+              htSaySaturnAmpersand()
+            firstTime := false
+            htSayIndentRel(15, true)
+            position := KAR relatives
+            relatives := KDR relatives
+            if KAR coSig and t ^= '(Type)
+              then htMakePage [['bcLinks,[a,'"",'kArgPage,a]]]
+              else htSay('"{\em ",form2HtString(a),'"}")
+            htSay ", "
+            coSig := KDR coSig
+            htSayValue t
+            htSayIndentRel(-15,true)
+	    htSayStandard('"\newline ")
+      htSaySaturn '"\\"
+    if first $sig then
+      $displayReturnValue := true
+      htSayStandard('"\newline\tab{2}")
+      htSay '"{\em Returns:}"
+      htSaySaturnAmpersand()
+      htSayIndentRel(15, true)
+      htSayValue first $sig
+      htSayIndentRel(-15, true)
+      htSaySaturn '"\\"
+  -----------------------------------------------------------
+  if origin and ($generalSearch? or origin ^= conform) and op^=opOf origin then
+    htSaySaturn '"{\em Origin:}"
+    htSaySaturnAmpersand()
+    htSayStandard('"\newline\tab{2}{\em Origin:}")
+    htSayIndentRel(15)
+    if not isExposedConstructor opOf origin and $includeUnexposed?
+       then htSayUnexposed()
+    bcConform(origin,true)
+    htSayIndentRel(-15)
+    htSaySaturn '"\\"
+  -----------------------------------------------------------
+  if not MEMQ(predicate,'(T ASCONST)) then
+    pred := sublisFormal(KDR conform,predicate)
+    count := #pred
+    htSaySaturn '"{\em Conditions:}"
+    htSayStandard('"\newline\tab{2}{\em Conditions:}")
+    firstTime := true
+    for p in displayBreakIntoAnds SUBST($conform,"$",pred) repeat
+      if not firstTime then htSaySaturn '"\\"
+      htSayIndentRel(15,count > 1)
+      firstTime := false
+      htSaySaturnAmpersand()
+      bcPred(p,$conform,true)
+      htSayIndentRel(-15,count > 1)
+      htSayStandard('"\newline ")
+    htSaySaturn '"\\"
+  -----------------------------------------------------------
+  if $whereList then
+    count := #$whereList
+    htSaySaturn '"{\em Where:}"
+    htSayStandard('"\newline\tab{2}{\em Where:}")
+    firstTime := true
+    if ASSOC("$",$whereList) then
+      htSayIndentRel(15,true)
+      htSaySaturnAmpersand()
+      htSayStandard '"{\em \$} is "
+      htSaySaturn '"{\em \%} is "
+      htSay
+	$conkind = '"category" => '"of category "
+	'"the domain "
+      bcConform(conform,true,true)
+      firstTime := false
+      htSayIndentRel(-15,true)
+    for [d,key,:t] in $whereList | d ^= "$" repeat
+      htSayIndentRel(15,count > 1)
+      if not firstTime then htSaySaturn '"\\ "
+      htSaySaturnAmpersand()
+      firstTime := false
+      htSay("{\em ",d,"} is ")
+      htSayConstructor(key,sublisFormal(KDR conform,t))
+      htSayIndentRel(-15,count > 1)
+    htSaySaturn '"\\"
+  -----------------------------------------------------------
+  if doc and (doc ^= '"" and (doc isnt [d] or d ^= '"")) then
+    htSaySaturn '"{\em Description:}"
+    htSaySaturnAmpersand()
+    htSayStandard('"\newline\tab{2}{\em Description:}")
+    htSayIndentRel(15)
+    if doc = $charFauxNewline then htSay $charNewline
+    else
+       ndoc:= 
+          -- we are confused whether doc is a string or a list of strings
+          CONSP doc =>  [SUBSTITUTE($charNewline, $charFauxNewline, i) for i in doc]
+          SUBSTITUTE($charNewline, $charFauxNewline,doc)
+       htSay ndoc 
+--  htSaySaturn '"\\"
+    htSayIndentRel(-15)
+  --------> print abbr and source file for constructors <---------
+  if which = '"constructor" then
+    if (abbr := GETDATABASE(conname,'ABBREVIATION)) then
+      htSaySaturn '"\\"
+      htSaySaturn '"{\em Abbreviation:}"
+      htSaySaturnAmpersand()
+      htSayStandard('"\tab{2}{\em Abbreviation:}")
+      htSayIndentRel(15)
+      htSay abbr
+      htSayIndentRel(-15)
+      htSayStandard('"\newline{}")
+    if ( $saturn and (link := saturnHasExamplePage conname)) then
+      htSaySaturn '"\\"
+      htSaySaturn '"{\em Examples:}"
+      htSaySaturnAmpersand()
+      htSayIndentRel(15)
+      htSay '"\spadref{"
+      htSay CAR(CDR(link))
+      htSay '"}"
+      htSayIndentRel(-15)
+      htSayStandard('"\newline{}")
+    htSaySaturn '"\\"
+    htSaySaturn '"{\em Source File:}"
+    htSaySaturnAmpersand()
+    htSayStandard('"\tab{2}{\em Source File:}")
+    htSayIndentRel(15)
+    htSaySourceFile conname
+    htSayIndentRel(-15)
+  ------------------> remove profile printouts for now <-------------------
+  if $standard and
+    exactlyOneOpSig and (infoAlist := htpProperty(htPage,'infoAlist)) then
+      displayInfoOp(htPage,infoAlist,op,sig)
+  -----------------------------------------------------------
+  htSaySaturn '"\end{tabular}"
+
+htSaySourceFile conname ==
+  sourceFileName := (GETDATABASE(conname,'SOURCEFILE) or '"none")
+  filename :=  extractFileNameFromPath sourceFileName
+  htMakePage [['text,'"\unixcommand{",filename,'"}{_\$AXIOM/lib/SPADEDIT ",
+              sourceFileName, '" ", conname, '"}"]]
+
+--------------------> NEW DEFINITION (see br-op2.boot.pamphlet)
+htSayIndentRel(n,:options) ==
+  flag := IFCAR options
+  m := ABSVAL n
+  if flag then m := m + 2
+  if $standard then htSayStandard
+    n > 0 =>
+      flag => ['"\indent{",STRINGIMAGE m,'"}\tab{-2}"]
+      ['"\indent{",STRINGIMAGE m,'"}\tab{0}"]
+    n < 0 => ['"\indent{0}\newline "]
+
+htSayUnexposed() ==
+  htSay '"{\em *}"
+  $atLeastOneUnexposed := true
+--=======================================================================
+--                       Page Operations
+--=======================================================================
+
+htEndTabular() ==
+  htSaySaturn '"\end{tabular}"
+
+htPopSaturn s ==
+  pageDescription := ELT($saturnPage, 7)
+  pageDescription is [=s,:b] => SETELT($saturnPage, 7, CDR pageDescription)
+  nil
+
+htBeginTable() ==
+  htSaySaturn '"\begin{dirlist}[lv]"
+  htSayStandard '"\table{"
+
+htEndTable() ==
+  htSaySaturn '"\end{dirlist}"
+  htSayStandard '"}"
+
+htBeginMenu(kind,:options) ==
+  skip := IFCAR options
+  if $saturn then
+    kind = 'description => htSaySaturn '"\begin{description}"
+    htSaySaturn '"\begin{tabular}"
+    htSaySaturn
+      kind = 3 => '"{llp{0in}}"
+      kind = 2 => '"{lp{0in}}"
+      error nil
+  null skip => htSayStandard '"\beginmenu "
+  nil
+
+htEndMenu(kind) ==
+  if $saturn then
+    kind = 'description => htSaySaturn '"\end{description}"
+    htPopSaturn '"\\"
+    htSaySaturn '"\end{tabular}"
+  htSayStandard '"\endmenu "
+
+htSayConstructorName(nameShown, name) ==
+  if $saturn then
+    code := ['"(|conPage| '|", name, '"|)"]
+    htSaySaturn mkDocLink(code,nameShown)
+  if $standard then
+    htSayStandard ["\lispdownlink{",nameShown,'"}{(|conPage| '|",name,'"|)}"]
+
+--------------------> NEW DEFINITION (see ht-util.boot.pamphlet)
+htAddHeading(title) ==
+  htNewPage title
+  page()
+
+------------> called by htAddHeading, htInitPageNoScroll <-----------
+htNewPage title ==
+  if $saturn then
+    htSaySaturn '"\browseTitle{"
+    htSaySaturn title
+    htSaySaturn '"}"
+  if $standard then htSayStandard('"\begin{page}{", htpName $curPage, '"}{")
+  htSayStandard title
+  htSayStandard '"}"
+
+--=======================================================================
+--                       Utilities
+--=======================================================================
+mkTabularItem u == [:first u,:fn rest u] where fn x ==
+  null x => nil
+  [$saturnAmpersand, x,:fn rest x]
+
+htSaySaturnAmpersand() == htSaySaturn $saturnAmpersand
+
+htBlank(:options) ==
+  options is [n] =>
+    htSaySaturn("STRCONC"/['"\phantom{*}" for i in 1..n])
+    htSayStandard STRCONC('"\space{",STRINGIMAGE n,'"}")
+  htSaySaturn '"\phantom{*}"
+  htSayStandard '"\space{1}"
+
+unTab s ==
+  STRINGP s => unTab1 s
+  atom s => s
+  [unTab1 first s, :rest s]
+
+unTab1 s ==
+  STRING_<('"\tab{", s) = 5 and (k := charPosition(char '_}, s, 4)) =>
+      SUBSTRING(s, k + 1, nil)
+  s
+
+satBreak() ==
+  htSaySaturn '"\\ "
+  htSayStandard '"\item "
+
+htBigSkip() ==
+  htSaySaturn '"\bigskip{}"
+  htSayStandard '"\vspace{1}\newline "
+
+htSaturnBreak() == htSaySaturn '"\!"
+
+satDownLink(s,code) ==
+  htSaySaturn '"\lispFunctionLink{\verb!"
+  htSaySaturn code
+  htSaySaturn '"!}{"
+  htSaySaturn s
+  htSaySaturn '"}"
+  ------------------
+  htSayStandard '"\lispdownlink{"
+  htSayStandard s
+  htSayStandard '"}{"
+  htSayStandard code
+  htSayStandard '"}"
+
+satTypeDownLink(s,code) ==
+  htSaySaturn '"\lispLink[d]{\verb!"
+  htSaySaturn code
+  htSaySaturn '"!}{"
+  htSaySaturn s
+  htSaySaturn '"}"
+  ------------------
+  htSayStandard '"\lispdownlink{"
+  htSayStandard s
+  htSayStandard '"}{"
+  htSayStandard code
+  htSayStandard '"}"
+
+mkButtonBox n == STRCONC('"\buttonbox{", STRINGIMAGE n, '"}")
+
+--=======================================================================
+--      Create separate databases for operations, constructors
+--=======================================================================
+-----------> use br-data.boot definition
+--dbSplitLibdb() ==
+--This function splits lidbd.text into files to make searching quicker.
+--  alibdb.text      attributes
+--  clibdb.text      categories
+--  dlibdb.text      domains
+--  plibdb.text      packages
+--  olibdb.text      operations
+--  xlibdb.text      default packages
+--These files have the same format as the single file libdb.text did in old
+--  version: e.g. <key><name>`<args>`<exposure>`<sig>`<args>`<abbrev>`<doc>
+--  for constructors where <key> is a single character, one of acdopx
+--  (identifying it as an attribute, category, domain, operator, package,
+--  or default package), its name, number of arguments, whether exposed or
+--  unexposed, its signature (sometimes abbreviated), its arguments as given
+--  in the original definition, its abbreviation, and documentation.
+--  For example, domain Matrix has line "dMatrix`1`x`<sig>`(R)`MATRIX`<com>"
+--  where <sig> is "(Ring)->Join(MatrixCategory(R,Vector(R),Vector(R)),etc)".
+--  The comment field <com> contains the character address of the comments
+--  for Matrix in file comdb.text.
+--There is thus ONE file comdb.text for documentation of all structures
+--  (to facilitate a general search through all documentation)
+--  into for comments. The format of entries in comdb.text are lines with
+--  two fields of the form d<nnnnn>`<ccccc>, where <nnnnn> is the character
+--  address of the line "dMatrix`.." in dlibdb.text (the first character
+--  "d" tells which lidbdb file it comes from, the <ccccc> is the
+--  documentation for Matrix.
+--NOTE: In each file, the first character, one of acdpox, is retained
+--  so that lines have the same format as the previous version of the browser
+--  (this minimized the number of lines of code that had to be changed from
+--  previous version of the browser).
+--  key := nil    --dummy first key
+--  instream  := MAKE_-INSTREAM  '"libdb.text"
+--  comstream := MAKE_-OUTSTREAM '"comdb.text"
+--  PRINTEXP(0,    comstream)
+--  PRINTEXP($tick,comstream)
+--  PRINTEXP('"",  comstream)
+--  TERPRI(comstream)
+--  while not EOFP instream repeat
+--    line := READLINE instream
+--    comP := FILE_-POSITION comstream
+--    if key ^= line.0 then
+--      if outstream then SHUT outstream
+--      key := line . 0
+--      outstream := MAKE_-OUTSTREAM STRCONC(STRINGIMAGE key,'"libdb.text")
+--    outP := FILE_-POSITION outstream
+--    [prefix,:comments] := dbSplit(line,6,1)
+--    PRINTEXP(prefix,outstream)
+--    PRINTEXP($tick ,outstream)
+--    null comments =>
+--      PRINTEXP(0,outstream)
+--      TERPRI(outstream)
+--    PRINTEXP(comP,outstream)
+--    TERPRI(outstream)
+--    PRINTEXP(key,   comstream)   --identifies file the backpointer is to
+--    PRINTEXP(outP  ,comstream)
+--    PRINTEXP($tick ,comstream)
+--    PRINTEXP(first comments,comstream)
+--    TERPRI(comstream)
+--    for c in rest comments repeat
+--      PRINTEXP(key,   comstream)   --identifies file the backpointer is to
+--      PRINTEXP(outP  ,comstream)
+--      PRINTEXP($tick ,comstream)
+--      PRINTEXP(c, comstream)
+--      TERPRI(comstream)
+--  SHUT instream
+--  SHUT outstream
+--  SHUT comstream
+--OBEY '"rm libdb.text"
+
+dbSort(x,y) ==
+  sin := STRINGIMAGE x
+  sout:= STRINGIMAGE y
+  OBEY STRCONC('"sort -f _"",sin,'".text_" > _"", sout, '".text_"")
+  OBEY STRCONC('"rm ", sin, '".text")
+
+
+--=======================================================================
+--         from define.boot
+--=======================================================================
+----------------------> (override in define.boot.pamphlet)
+compDefineCapsuleFunction(df is ['DEF,form,signature,specialCases,body],
+  m,oldE,$prefix,$formalArgList) ==
+    [lineNumber,:specialCases] := specialCases
+    e := oldE
+    --1. bind global variables
+    $form: local
+    $op: local
+    $functionStats: local:= [0,0]
+    $argumentConditionList: local
+    $finalEnv: local
+             --used by ReplaceExitEtc to get a common environment
+    $initCapsuleErrorCount: local:= #$semanticErrorStack
+    $insideCapsuleFunctionIfTrue: local:= true
+    $CapsuleModemapFrame: local:= e
+    $CapsuleDomainsInScope: local:= get("$DomainsInScope","special",e)
+    $insideExpressionIfTrue: local:= true
+    $returnMode:= m
+    [$op,:argl]:= form
+    $form:= [$op,:argl]
+    argl:= stripOffArgumentConditions argl
+    $formalArgList:= [:argl,:$formalArgList]
+
+    --let target and local signatures help determine modes of arguments
+    argModeList:=
+      identSig:= hasSigInTargetCategory(argl,form,first signature,e) =>
+        (e:= checkAndDeclare(argl,form,identSig,e); rest identSig)
+      [getArgumentModeOrMoan(a,form,e) for a in argl]
+    argModeList:= stripOffSubdomainConditions(argModeList,argl)
+    signature':= [first signature,:argModeList]
+    if null identSig then  --make $op a local function
+      oldE := put($op,'mode,['Mapping,:signature'],oldE)
+
+    --obtain target type if not given
+    if null first signature' then signature':=
+      identSig => identSig
+      getSignature($op,rest signature',e) or return nil
+
+    --replace ##1,.. in signature by arguments
+--    pp signature'
+    signature':= SUBLISLIS(argl,$FormalFunctionParameterList,signature')
+--  pp '"------after----"
+--  pp signature'
+    e:= giveFormalParametersValues(argl,e)
+
+    $signatureOfForm:= signature' --this global is bound in compCapsuleItems
+    $functionLocations := [[[$op,$signatureOfForm],:lineNumber],
+      :$functionLocations]
+    e:= addDomain(first signature',e)
+    e:= compArgumentConditions e
+
+    if $profileCompiler then
+      for x in argl for t in rest signature' repeat profileRecord('arguments,x,t)
+
+
+    --4. introduce needed domains into extendedEnv
+    for domain in signature' repeat e:= addDomain(domain,e)
+
+    --6. compile body in environment with extended environment
+    rettype:= resolve(signature'.target,$returnMode)
+
+    localOrExported :=
+      null member($op,$formalArgList) and
+        getmode($op,e) is ['Mapping,:.] => 'local
+      'exported
+
+    --6a skip if compiling only certain items but not this one
+    -- could be moved closer to the top
+    formattedSig := formatUnabbreviated ['Mapping,:signature']
+    $compileOnlyCertainItems and _
+      not member($op, $compileOnlyCertainItems) =>
+        sayBrightly ['"   skipping ", localOrExported,:bright $op]
+        [nil,['Mapping,:signature'],oldE]
+    sayBrightly ['"   compiling ",localOrExported,
+      :bright $op,'": ",:formattedSig]
+
+    if $newComp = true then
+      wholeBody := ['DEF, form, signature', specialCases, body]
+      T := CATCH('compCapsuleBody, newComp(wholeBody,$NoValueMode,e))
+           or ["",rettype,e]
+      T := [T.expr.2.2, rettype, T.env]
+      if $newCompCompare=true then
+         oldT := CATCH('compCapsuleBody, compOrCroak(body,rettype,e))
+              or ["",rettype,e]
+         SAY '"The old compiler generates:"
+         prTriple oldT
+         SAY '"The new compiler generates:"
+         prTriple T
+    else
+      T := CATCH('compCapsuleBody, compOrCroak(body,rettype,e))
+           or ["",rettype,e]
+--+
+      NRTassignCapsuleFunctionSlot($op,signature')
+      if $newCompCompare=true then
+         SAY '"The old compiler generates:"
+         prTriple T
+--  A THROW to the above CATCH occurs if too many semantic errors occur
+--  see stackSemanticError
+    catchTag:= MKQ GENSYM()
+    fun:=
+      body':= replaceExitEtc(T.expr,catchTag,"TAGGEDreturn",$returnMode)
+      body':= addArgumentConditions(body',$op)
+      finalBody:= ["CATCH",catchTag,body']
+      compileCases([$op,["LAM",[:argl,'_$],finalBody]],oldE)
+    $functorStats:= addStats($functorStats,$functionStats)
+
+
+--  7. give operator a 'value property
+    val:= [fun,signature',e]
+    [fun,['Mapping,:signature'],oldE] -- oldE:= put($op,'value,removeEnv val,e)
+
+--from postpar
+--------------------> NEW DEFINITION (override in postpar.boot.pamphlet)
+postSignature ['Signature,op,sig] ==
+  sig is ["->",:.] =>
+    sig1:= postType sig
+    op:= postAtom (STRINGP op => INTERN op; op)
+    ["SIGNATURE",op,:removeSuperfluousMapping killColons postDoubleSharp sig1]
+
+postDoubleSharp sig ==
+  sig is [['Mapping,target,:r]] =>
+    -- replace #1,... by ##1,...
+    [['Mapping, SUBLISLIS($FormalFunctionParameterList, $FormalMapVariableList, target),
+        :r]]
+  sig
+
+-- override in  br-util.boot.pamphlet
+bcConform1 form == main where
+  main ==
+    form is ['ifp,form1,:pred] =>
+      hd form1
+      bcPred pred
+    hd form
+  hd form ==
+    atom form =>
+      not MEMQ(form,$Primitives) and null constructor? form =>
+        s := STRINGIMAGE form
+        (s.0 = char '_#) =>
+           (n := POSN1(form, $FormalFunctionParameterList)) =>
+              htSay form2HtString ($FormalMapVariableList . n)
+           htSay '"\"
+           htSay form
+        htSay escapeSpecialChars STRINGIMAGE 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 '"}"
+
+--=======================================================================
+--            Code for Private Libdbs
+--=======================================================================
+--extendLocalLibdb conlist ==     --called by function "compiler"(see above)
+--  buildLibdb conlist          --> puts datafile into temp.text
+--  $newConstructorList := union(conlist, $newConstructorList)
+--  localLibdb := '"libdb.text"
+--  not isExistingFile '"libdb.text" => RENAME_-FILE('"temp.text",'"libdb.text")
+--  oldlines := purgeNewConstructorLines(dbReadLines localLibdb, conlist)
+--  newlines := dbReadLines '"temp.text"
+--  dbWriteLines(MSORT union(oldlines,newlines), '"libdb.text")
+--  deleteFile '"temp.text"
+
+purgeNewConstructorLines(lines, conlist) ==
+  [x for x in lines | not screenLocalLine(x, conlist)]
+
+-- Got rid of debugging statement and deleted screenLocalLine1, MCD 26/3/96
+--screenLocalLine(line,conlist) ==
+--  u := screenLocalLine1(line,conlist)
+--  if u then
+--    sayBrightly ['"Purging--->", line]
+--  u
+
+-- screenLocalLine1(line, conlist) ==
+screenLocalLine(line, conlist) ==
+  k := dbKind line
+  con := INTERN
+    k = char 'o or k = char 'a =>
+      s := dbPart(line,5,1)
+      k := charPosition(char '_(,s,1)
+      SUBSTRING(s,1,k - 1)
+    dbName line
+  MEMQ(con, conlist)
+
+--------------> NEW DEFINITION (see br-data.boot.pamphlet)
+purgeLocalLibdb() ==   --called by the user through a clear command?
+  $newConstructorList := nil
+  deleteFile '"libdb.text"
+
+--moveFile(before,after) ==
+--  $saturn => MOVE_-FILE(before, after)
+--  RENAME_-FILE(before, after)
+--  --obey STRCONC('"mv ", before, '" ", after)
+
+-- deleted JHD/MCD, since already one in pathname.boot
+--deleteFile fn ==
+--  $saturn => DELETE_-FILE fn
+--  obey STRCONC('"rm ",fn)
+
+--=======================================================================
+--            from DAASE.LISP
+--=======================================================================
+--library(args) ==
+--  $newConlist: local := nil
+--  LOCALDATABASE(args,$options)
+--  extendLocalLibdb $newConlist
+--  TERSYSCOMMAND()
+
+
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}