gtart.bst
author scott@6e1638ff-ae45-0410-89bd-df963105f760
Sat, 31 Oct 2009 19:49:59 +0000
changeset 156 9eae41b8f7d7
parent 23 7b0a43bdd3c4
permissions -rw-r--r--
...
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
23
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
%%
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     2
%% This is file `gtart.bst',
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     3
%% generated with the docstrip utility.
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     4
%%
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     5
%%
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     6
%% The original source files were:
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     7
%%
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     8
%% merlin.mbs  (with options: `ed-au,nmft,nmft-bf,dt-jnl,yr-par,xmth,yrp-x,tit-it,atit-u,jttl-rm,vnum-x,volp-blk,jdt-vs,pp-last,num-xser,numser,jnm-x,bkpg-x,pre-edn,edpar,edby-par,edbyy,blk-com,in-x,fin-bare,ppx,xedn,and-xcom,xand,eprint,url,url-blk,nfss')
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     9
%% ----------------------------------------
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    10
%% *** For Geometry and Topology Publications ***
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    11
%% 
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    12
%% Copyright 1994-1999 Patrick W Daly
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    13
%%
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    14
%% Modified by Boris Okun 12/2001
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    15
%%
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    16
 % ===============================================================
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    17
 % IMPORTANT NOTICE:
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    18
 % This bibliographic style (bst) file has been generated from one or
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    19
 % more master bibliographic style (mbs) files, listed above.
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    20
 %
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    21
 % This generated file can be redistributed and/or modified under the terms
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    22
 % of the LaTeX Project Public License Distributed from CTAN
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    23
 % archives in directory macros/latex/base/lppl.txt; either
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    24
 % version 1 of the License, or any later version.
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    25
 % ===============================================================
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    26
 % Name and version information of the main mbs file:
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    27
 % \ProvidesFile{merlin.mbs}[1999/03/18 3.88 (PWD)]
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    28
 %   For use with BibTeX version 0.99a or later
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    29
 %-------------------------------------------------------------------
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    30
 % This bibliography style file is intended for texts in ENGLISH
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    31
 % This is a numerical citation style, and as such is standard LaTeX.
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    32
 % It requires no extra package to interface to the main text.
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    33
 % The form of the \bibitem entries is
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    34
 %   \bibitem{key}...
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    35
 % Usage of \cite is as follows:
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    36
 %   \cite{key} ==>>          [#]
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    37
 %   \cite[chap. 2]{key} ==>> [#, chap. 2]
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    38
 % where # is a number determined by the ordering in the reference list.
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    39
 % The order in the reference list is alphabetical by authors.
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    40
 %---------------------------------------------------------------------
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    41
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    42
ENTRY
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    43
  { address
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    44
    author
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    45
    booktitle
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    46
    chapter
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    47
    edition
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    48
    editor
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    49
    howpublished
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    50
    institution
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    51
    journal
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    52
    key
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    53
    month
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    54
    note
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    55
    number
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    56
    organization
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    57
    pages
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    58
    publisher
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    59
    school
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    60
    series
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    61
    title
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    62
    type
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    63
    url
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    64
    volume
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    65
    year
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    66
  }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    67
  {}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    68
  { label }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    69
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    70
INTEGERS { output.state before.all mid.sentence after.sentence after.block }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    71
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    72
FUNCTION {init.state.consts}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    73
{ #0 'before.all :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    74
  #1 'mid.sentence :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    75
  #2 'after.sentence :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    76
  #3 'after.block :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    77
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    78
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    79
STRINGS { s t }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    80
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    81
FUNCTION {output.nonnull}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    82
{ 's :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    83
  output.state mid.sentence =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    84
    { ", " * write$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    85
    { output.state after.block =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    86
        { add.period$ write$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    87
          newline$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    88
          "\newblock " write$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    89
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    90
        { output.state before.all =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    91
            'write$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    92
            { add.period$ " " * write$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    93
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    94
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    95
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    96
      mid.sentence 'output.state :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    97
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    98
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    99
  s
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   100
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   101
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   102
FUNCTION {output}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   103
{ duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   104
    'pop$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   105
    'output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   106
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   107
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   108
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   109
FUNCTION {output.check}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   110
{ 't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   111
  duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   112
    { pop$ "empty " t * " in " * cite$ * warning$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   113
    'output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   114
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   115
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   116
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   117
FUNCTION {fin.entry}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   118
{ duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   119
    'pop$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   120
    'write$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   121
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   122
  newline$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   123
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   124
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   125
FUNCTION {new.block}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   126
{ output.state before.all =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   127
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   128
    { after.block 'output.state := }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   129
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   130
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   131
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   132
FUNCTION {new.sentence}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   133
{ output.state after.block =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   134
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   135
    { output.state before.all =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   136
        'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   137
        { after.sentence 'output.state := }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   138
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   139
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   140
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   141
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   142
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   143
FUNCTION {add.blank}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   144
{  " " * before.all 'output.state :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   145
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   146
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   147
FUNCTION {date.block}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   148
{
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   149
  add.blank
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   150
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   151
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   152
FUNCTION {not}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   153
{   { #0 }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   154
    { #1 }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   155
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   156
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   157
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   158
FUNCTION {and}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   159
{   'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   160
    { pop$ #0 }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   161
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   162
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   163
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   164
FUNCTION {or}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   165
{   { pop$ #1 }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   166
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   167
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   168
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   169
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   170
FUNCTION {new.block.checka}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   171
{ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   172
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   173
    'new.block
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   174
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   175
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   176
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   177
FUNCTION {new.block.checkb}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   178
{ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   179
  swap$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   180
  and
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   181
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   182
    'new.block
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   183
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   184
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   185
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   186
FUNCTION {new.sentence.checka}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   187
{ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   188
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   189
    'new.sentence
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   190
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   191
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   192
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   193
FUNCTION {new.sentence.checkb}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   194
{ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   195
  swap$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   196
  and
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   197
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   198
    'new.sentence
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   199
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   200
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   201
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   202
FUNCTION {field.or.null}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   203
{ duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   204
    { pop$ "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   205
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   206
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   207
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   208
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   209
FUNCTION {emphasize}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   210
{ duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   211
    { pop$ "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   212
    { "\emph{" swap$ * "}" * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   213
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   214
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   215
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   216
FUNCTION {bolden}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   217
{ duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   218
    { pop$ "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   219
    { "\textbf{" swap$ * "}" * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   220
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   221
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   222
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   223
FUNCTION {quotify}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   224
{ duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   225
    { pop$ "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   226
    { "``" swap$ * "''" * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   227
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   228
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   229
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   230
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   231
FUNCTION {bib.name.font}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   232
{ bolden }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   233
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   234
FUNCTION {bib.fname.font}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   235
{ bib.name.font }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   236
FUNCTION {capitalize}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   237
{ "u" change.case$ "t" change.case$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   238
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   239
FUNCTION {space.word}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   240
{ " " swap$ * " " * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   241
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   242
 % Here are the language-specific definitions for explicit words.
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   243
 % Each function has a name bbl.xxx where xxx is the English word.
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   244
 % The language selected here is ENGLISH
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   245
FUNCTION {bbl.and}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   246
{ "and"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   247
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   248
FUNCTION {bbl.etal}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   249
{ "et~al." }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   250
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   251
FUNCTION {bbl.editors}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   252
{ "editors" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   253
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   254
FUNCTION {bbl.editor}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   255
{ "editor" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   256
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   257
FUNCTION {bbl.edby}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   258
{ "edited by" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   259
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   260
FUNCTION {bbl.edition}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   261
{ "edition" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   262
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   263
FUNCTION {bbl.volume}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   264
{ "volume" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   265
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   266
FUNCTION {bbl.of}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   267
{ "of" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   268
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   269
FUNCTION {bbl.number}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   270
{ "number" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   271
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   272
FUNCTION {bbl.nr}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   273
{ "no." }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   274
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   275
FUNCTION {bbl.in}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   276
{ "in" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   277
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   278
FUNCTION {bbl.pages}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   279
{ "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   280
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   281
FUNCTION {bbl.page}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   282
{ "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   283
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   284
FUNCTION {bbl.chapter}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   285
{ "chapter" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   286
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   287
FUNCTION {bbl.techrep}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   288
{ "Technical Report" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   289
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   290
FUNCTION {bbl.mthesis}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   291
{ "Master's thesis" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   292
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   293
FUNCTION {bbl.phdthesis}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   294
{ "Ph.D. thesis" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   295
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   296
MACRO {jan} {"January"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   297
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   298
MACRO {feb} {"February"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   299
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   300
MACRO {mar} {"March"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   301
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   302
MACRO {apr} {"April"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   303
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   304
MACRO {may} {"May"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   305
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   306
MACRO {jun} {"June"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   307
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   308
MACRO {jul} {"July"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   309
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   310
MACRO {aug} {"August"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   311
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   312
MACRO {sep} {"September"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   313
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   314
MACRO {oct} {"October"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   315
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   316
MACRO {nov} {"November"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   317
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   318
MACRO {dec} {"December"}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   319
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   320
FUNCTION {format.url}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   321
{ url empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   322
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   323
    { "\urlprefix\url{" url * "}" * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   324
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   325
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   326
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   327
INTEGERS { nameptr namesleft numnames charptr}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   328
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   329
STRINGS {i j}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   330
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   331
FUNCTION {remove.periods}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   332
{'i :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   333
 ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   334
 #1 'charptr :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   335
 " " 'j := 
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   336
 {#1 j "" =  -  } 
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   337
    {i charptr #1  substring$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   338
    'j :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   339
     j "." = 
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   340
       {charptr #1 + 'charptr :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   341
	 i charptr #1  substring$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   342
	 'j :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   343
	 j "~" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   344
		{"\," *}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   345
		{j *}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   346
	 if$}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   347
	 {j *} 
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   348
     if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   349
    charptr #1 + 'charptr :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   350
 }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   351
 while$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   352
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   353
  
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   354
FUNCTION {format.names}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   355
{ 's :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   356
  #1 'nameptr :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   357
  s num.names$ 'numnames :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   358
  numnames 'namesleft :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   359
    { namesleft #0 > }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   360
    { s nameptr
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   361
      "{ff }{vv~}{ll}{, jj}" format.name$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   362
	remove.periods
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   363
      't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   364
      nameptr #1 >
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   365
        {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   366
          namesleft #1 >
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   367
            { ", " * t * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   368
            {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   369
              "," *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   370
              s nameptr "{ll}" format.name$ duplicate$ "others" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   371
                { 't := }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   372
                { pop$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   373
              if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   374
              t "others" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   375
                {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   376
                  " " * bbl.etal *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   377
%                  bib.name.font
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   378
                }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   379
                { " " * t * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   380
              if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   381
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   382
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   383
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   384
        't
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   385
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   386
      nameptr #1 + 'nameptr :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   387
      namesleft #1 - 'namesleft :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   388
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   389
  while$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   390
%  t "others" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   391
%    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   392
%    { bib.name.font }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   393
%  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   394
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   395
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   396
FUNCTION {bformat.names} % Formats names in bold, but keeps punctuation normal
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   397
{ 's :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   398
  #1 'nameptr :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   399
  s num.names$ 'numnames :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   400
  numnames 'namesleft :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   401
    { namesleft #0 > }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   402
    { s nameptr
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   403
      "{ff }{vv~}{ll}{, jj}" format.name$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   404
	remove.periods
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   405
	bib.name.font
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   406
      't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   407
      nameptr #1 >
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   408
        {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   409
          namesleft #1 >
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   410
            { ", " * t * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   411
            {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   412
              "," *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   413
              s nameptr "{ll}" format.name$ duplicate$ "others" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   414
                { 't := }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   415
                { pop$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   416
              if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   417
              t "others" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   418
                {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   419
                  " " * bbl.etal *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   420
%                  bib.name.font
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   421
                }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   422
                { " " * t * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   423
              if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   424
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   425
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   426
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   427
        't
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   428
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   429
      nameptr #1 + 'nameptr :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   430
      namesleft #1 - 'namesleft :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   431
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   432
  while$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   433
%  t "others" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   434
%    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   435
%    { bib.name.font }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   436
%  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   437
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   438
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   439
FUNCTION {format.names.ed}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   440
{ format.names }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   441
FUNCTION {format.authors}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   442
{ author empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   443
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   444
    { author bformat.names }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   445
%	bib.name.font}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   446
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   447
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   448
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   449
FUNCTION {format.editors}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   450
{ editor empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   451
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   452
    { editor bformat.names
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   453
%	bib.name.font
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   454
      editor num.names$ #1 >
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   455
        { " (" * bbl.editors * ")" * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   456
        { " (" * bbl.editor * ")" * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   457
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   458
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   459
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   460
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   461
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   462
FUNCTION {format.in.editors}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   463
{ editor empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   464
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   465
    { editor format.names.ed
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   466
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   467
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   468
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   469
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   470
FUNCTION {format.note}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   471
{
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   472
 note empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   473
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   474
    { note #1 #1 substring$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   475
      duplicate$ "{" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   476
        'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   477
        { output.state mid.sentence =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   478
          { "l" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   479
          { "u" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   480
        if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   481
        change.case$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   482
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   483
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   484
      note #2 global.max$ substring$ *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   485
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   486
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   487
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   488
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   489
FUNCTION {format.title}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   490
{ title empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   491
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   492
    { title
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   493
      emphasize
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   494
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   495
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   496
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   497
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   498
FUNCTION {output.bibitem}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   499
{ newline$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   500
  "\bibitem{" write$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   501
  cite$ write$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   502
  "}" write$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   503
  newline$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   504
  ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   505
  before.all 'output.state :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   506
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   507
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   508
FUNCTION {n.dashify}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   509
{
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   510
  't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   511
  ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   512
    { t empty$ not }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   513
    { t #1 #1 substring$ "-" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   514
        { t #1 #2 substring$ "--" = not
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   515
            { "--" *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   516
              t #2 global.max$ substring$ 't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   517
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   518
            {   { t #1 #1 substring$ "-" = }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   519
                { "-" *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   520
                  t #2 global.max$ substring$ 't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   521
                }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   522
              while$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   523
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   524
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   525
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   526
        { t #1 #1 substring$ *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   527
          t #2 global.max$ substring$ 't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   528
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   529
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   530
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   531
  while$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   532
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   533
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   534
FUNCTION {word.in}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   535
{ "from: "  }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   536
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   537
FUNCTION {format.date}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   538
{ year empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   539
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   540
      'year
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   541
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   542
  duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   543
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   544
    {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   545
      before.all 'output.state :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   546
    " (" swap$ * ")" *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   547
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   548
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   549
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   550
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   551
FUNCTION{format.year}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   552
{ year duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   553
    { "empty year in " cite$ * warning$ pop$ "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   554
    { " (" swap$ * ")" * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   555
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   556
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   557
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   558
FUNCTION {format.btitle}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   559
{ title emphasize
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   560
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   561
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   562
FUNCTION {tie.or.space.connect}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   563
{ duplicate$ text.length$ #3 <
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   564
    { "~" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   565
    { " " }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   566
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   567
  swap$ * *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   568
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   569
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   570
FUNCTION {either.or.check}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   571
{ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   572
    'pop$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   573
    { "can't use both " swap$ * " fields in " * cite$ * warning$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   574
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   575
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   576
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   577
FUNCTION {format.bvolume}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   578
{ volume empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   579
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   580
    { bbl.volume volume tie.or.space.connect
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   581
      series empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   582
        'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   583
        { bbl.of space.word * series emphasize * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   584
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   585
      "volume and number" number either.or.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   586
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   587
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   588
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   589
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   590
FUNCTION {format.bvolume.in}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   591
{series empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   592
	'format.bvolume
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   593
	{volume empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   594
		{""}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   595
		{series " " volume * *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   596
      	"volume and number" number either.or.check }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   597
	if$	
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   598
    	}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   599
if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   600
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   601
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   602
FUNCTION {format.number.series}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   603
{ volume empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   604
    { number empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   605
        { series field.or.null }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   606
        { series empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   607
            { number }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   608
        { output.state mid.sentence =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   609
            { bbl.number }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   610
            { bbl.number capitalize }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   611
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   612
          number tie.or.space.connect
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   613
          bbl.in space.word * series *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   614
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   615
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   616
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   617
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   618
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   619
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   620
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   621
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   622
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   623
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   624
FUNCTION {format.number.series.in}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   625
{ volume empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   626
      {series empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   627
		'format.number.series
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   628
		{series  
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   629
		number empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   630
			'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   631
			{" " number * *}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   632
		if$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   633
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   634
	}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   635
	{ "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   636
if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   637
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   638
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   639
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   640
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   641
FUNCTION {format.edition}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   642
{ edition empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   643
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   644
    { output.state mid.sentence =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   645
        { edition "l" change.case$ " " * bbl.edition * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   646
        { edition "t" change.case$ " " * bbl.edition * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   647
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   648
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   649
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   650
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   651
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   652
INTEGERS { multiresult }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   653
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   654
FUNCTION {multi.page.check}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   655
{ 't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   656
  #0 'multiresult :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   657
    { multiresult not
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   658
      t empty$ not
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   659
      and
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   660
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   661
    { t #1 #1 substring$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   662
      duplicate$ "-" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   663
      swap$ duplicate$ "," =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   664
      swap$ "+" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   665
      or or
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   666
        { #1 'multiresult := }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   667
        { t #2 global.max$ substring$ 't := }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   668
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   669
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   670
  while$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   671
  multiresult
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   672
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   673
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   674
FUNCTION {format.pages}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   675
{ pages empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   676
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   677
    { pages multi.page.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   678
        { pages n.dashify }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   679
        { pages }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   680
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   681
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   682
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   683
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   684
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   685
FUNCTION {format.journal.pages}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   686
{ pages empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   687
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   688
    { duplicate$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   689
        { pop$ format.pages }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   690
        {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   691
          " " *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   692
          pages n.dashify *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   693
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   694
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   695
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   696
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   697
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   698
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   699
FUNCTION {format.vol.num.pages}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   700
{ volume field.or.null
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   701
  format.year *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   702
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   703
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   704
FUNCTION {format.chapter.pages}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   705
{ chapter empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   706
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   707
    { type empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   708
        { bbl.chapter }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   709
        { type "l" change.case$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   710
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   711
      chapter tie.or.space.connect
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   712
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   713
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   714
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   715
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   716
FUNCTION {format.in.ed.booktitle}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   717
{ booktitle empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   718
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   719
    { editor empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   720
        { word.in booktitle quotify  * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   721
        { word.in booktitle quotify  * 
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   722
          ", (" *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   723
          format.in.editors *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   724
          ", " *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   725
          editor num.names$ #1 >
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   726
            { bbl.editors }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   727
            { bbl.editor }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   728
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   729
          *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   730
          ")" *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   731
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   732
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   733
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   734
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   735
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   736
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   737
FUNCTION {empty.misc.check}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   738
{ author empty$ title empty$ howpublished empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   739
  month empty$ year empty$ note empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   740
  and and and and and
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   741
  key empty$ not and
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   742
    { "all relevant fields are empty in " cite$ * warning$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   743
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   744
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   745
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   746
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   747
FUNCTION {format.thesis.type}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   748
{ type empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   749
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   750
    { pop$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   751
      type "t" change.case$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   752
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   753
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   754
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   755
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   756
FUNCTION {format.tr.number}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   757
{ type empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   758
    { bbl.techrep }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   759
    'type
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   760
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   761
  number empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   762
    { "t" change.case$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   763
    { number tie.or.space.connect }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   764
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   765
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   766
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   767
FUNCTION {format.article.crossref}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   768
{
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   769
  key empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   770
    { journal empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   771
        { "need key or journal for " cite$ * " to crossref " * crossref *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   772
          warning$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   773
          ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   774
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   775
        { word.in journal emphasize  * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   776
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   777
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   778
    { word.in key * " " *}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   779
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   780
  " \cite{" * crossref * "}" *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   781
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   782
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   783
FUNCTION {format.crossref.editor}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   784
{ editor #1 "{vv~}{ll}" format.name$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   785
  editor num.names$ duplicate$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   786
  #2 >
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   787
    { pop$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   788
      " " * bbl.etal *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   789
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   790
    { #2 <
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   791
        'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   792
        { editor #2 "{ff }{vv }{ll}{ jj}" format.name$ "others" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   793
            {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   794
              " " * bbl.etal *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   795
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   796
            { bbl.and space.word * editor #2 "{vv~}{ll}" format.name$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   797
              * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   798
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   799
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   800
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   801
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   802
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   803
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   804
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   805
FUNCTION {format.book.crossref}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   806
{ volume empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   807
    { "empty volume in " cite$ * "'s crossref of " * crossref * warning$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   808
      word.in
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   809
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   810
    { bbl.volume volume tie.or.space.connect
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   811
      bbl.of space.word *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   812
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   813
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   814
  editor empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   815
  editor field.or.null author field.or.null =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   816
  or
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   817
    { key empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   818
        { series empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   819
            { "need editor, key, or series for " cite$ * " to crossref " *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   820
              crossref * warning$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   821
              "" *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   822
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   823
            { series emphasize * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   824
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   825
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   826
        { key * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   827
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   828
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   829
    { format.crossref.editor * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   830
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   831
  " \cite{" * crossref * "}" *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   832
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   833
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   834
FUNCTION {format.incoll.inproc.crossref}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   835
{
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   836
  editor empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   837
  editor field.or.null author field.or.null =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   838
  or
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   839
    { key empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   840
        { booktitle empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   841
            { "need editor, key, or booktitle for " cite$ * " to crossref " *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   842
              crossref * warning$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   843
              ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   844
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   845
            { word.in "``" booktitle "''" * *  }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   846
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   847
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   848
        { word.in key * " " *}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   849
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   850
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   851
    { word.in format.crossref.editor * " " *}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   852
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   853
  " \cite{" * crossref * "}" *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   854
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   855
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   856
FUNCTION {format.org.or.pub}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   857
{ 't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   858
  ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   859
  address empty$ t empty$ and
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   860
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   861
    {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   862
      t empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   863
        { address empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   864
          'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   865
          { address * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   866
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   867
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   868
        { t *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   869
          address empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   870
            'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   871
            { ", " * address * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   872
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   873
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   874
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   875
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   876
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   877
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   878
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   879
FUNCTION {format.publisher.address}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   880
{ publisher empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   881
    { "empty publisher in " cite$ * warning$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   882
      ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   883
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   884
    { publisher }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   885
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   886
  format.org.or.pub
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   887
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   888
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   889
FUNCTION {format.organization.address}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   890
{ organization empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   891
    { "" }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   892
    { organization }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   893
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   894
  format.org.or.pub
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   895
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   896
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   897
FUNCTION {article}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   898
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   899
  format.authors "author" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   900
  format.title "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   901
  crossref missing$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   902
    { journal
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   903
      "journal" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   904
      add.blank
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   905
      format.vol.num.pages output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   906
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   907
    { format.article.crossref output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   908
%      format.pages output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   909
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   910
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   911
  format.journal.pages
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   912
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   913
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   914
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   915
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   916
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   917
FUNCTION {book}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   918
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   919
  author empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   920
    { format.editors "author and editor" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   921
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   922
    { format.authors output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   923
      crossref missing$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   924
        { "author and editor" editor either.or.check }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   925
        'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   926
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   927
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   928
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   929
  format.btitle "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   930
  crossref missing$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   931
    { format.bvolume output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   932
      format.edition output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   933
      format.number.series.in output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   934
      format.publisher.address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   935
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   936
    {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   937
      format.book.crossref output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   938
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   939
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   940
  format.date "year" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   941
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   942
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   943
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   944
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   945
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   946
FUNCTION {booklet}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   947
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   948
  format.authors output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   949
  format.title "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   950
  howpublished output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   951
  address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   952
  format.date output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   953
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   954
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   955
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   956
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   957
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   958
FUNCTION {incollection}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   959
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   960
  format.authors "author" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   961
  format.title "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   962
  crossref missing$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   963
    { format.in.ed.booktitle "booktitle" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   964
      format.bvolume.in output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   965
      format.edition output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   966
      format.number.series.in output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   967
      format.publisher.address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   968
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   969
    { format.incoll.inproc.crossref output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   970
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   971
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   972
  format.date "year" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   973
  date.block
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   974
  add.blank
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   975
  format.pages "pages" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   976
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   977
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   978
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   979
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   980
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   981
FUNCTION {inbook}{incollection}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   982
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   983
FUNCTION {inproceedings}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   984
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   985
  format.authors "author" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   986
  format.title "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   987
  crossref missing$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   988
    { format.in.ed.booktitle "booktitle" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   989
      format.bvolume.in output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   990
      format.number.series.in output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   991
      publisher empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   992
        { format.organization.address output }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   993
        { organization output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   994
          format.publisher.address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   995
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   996
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   997
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   998
    { format.incoll.inproc.crossref output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   999
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1000
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1001
  format.date "year" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1002
  date.block
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1003
  add.blank
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1004
  format.pages "pages" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1005
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1006
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1007
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1008
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1009
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1010
FUNCTION {conference} { inproceedings }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1011
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1012
FUNCTION {manual}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1013
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1014
  author empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1015
    { organization empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1016
        'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1017
        { organization output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1018
          address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1019
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1020
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1021
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1022
    { format.authors output.nonnull }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1023
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1024
  format.btitle "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1025
  author empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1026
    { organization empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1027
    {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1028
          address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1029
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1030
        'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1031
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1032
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1033
    {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1034
      organization output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1035
      address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1036
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1037
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1038
  format.edition output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1039
  format.date output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1040
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1041
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1042
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1043
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1044
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1045
FUNCTION {mastersthesis}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1046
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1047
  format.authors "author" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1048
  format.btitle "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1049
  bbl.mthesis format.thesis.type output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1050
  school "school" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1051
  address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1052
  format.date "year" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1053
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1054
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1055
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1056
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1057
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1058
FUNCTION {misc}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1059
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1060
  format.authors output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1061
  format.title output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1062
  howpublished output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1063
  format.date output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1064
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1065
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1066
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1067
  empty.misc.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1068
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1069
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1070
FUNCTION {phdthesis}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1071
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1072
  format.authors "author" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1073
  format.btitle "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1074
  bbl.phdthesis format.thesis.type output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1075
  school "school" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1076
  address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1077
  format.date "year" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1078
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1079
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1080
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1081
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1082
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1083
FUNCTION {proceedings}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1084
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1085
  editor empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1086
    { organization output }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1087
    { format.editors output.nonnull }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1088
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1089
  format.btitle "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1090
  format.bvolume output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1091
  editor empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1092
    { publisher empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1093
        'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1094
        {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1095
          format.number.series output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1096
          format.publisher.address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1097
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1098
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1099
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1100
    { publisher empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1101
        {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1102
          format.organization.address output }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1103
        {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1104
          organization output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1105
          format.publisher.address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1106
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1107
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1108
     }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1109
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1110
      format.date "year" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1111
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1112
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1113
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1114
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1115
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1116
FUNCTION {techreport}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1117
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1118
  format.authors "author" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1119
  format.title "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1120
  format.tr.number output.nonnull
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1121
  institution "institution" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1122
  address output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1123
  format.date "year" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1124
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1125
  format.note output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1126
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1127
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1128
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1129
FUNCTION {unpublished}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1130
{ output.bibitem
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1131
  format.authors "author" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1132
  format.title "title" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1133
  format.date output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1134
  format.url output
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1135
  format.note "note" output.check
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1136
  fin.entry
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1137
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1138
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1139
FUNCTION {default.type} { misc }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1140
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1141
READ
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1142
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1143
FUNCTION {sortify}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1144
{ purify$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1145
  "l" change.case$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1146
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1147
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1148
INTEGERS { len }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1149
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1150
FUNCTION {chop.word}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1151
{ 's :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1152
  'len :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1153
  s #1 len substring$ =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1154
    { s len #1 + global.max$ substring$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1155
    's
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1156
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1157
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1158
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1159
FUNCTION {sort.format.names}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1160
{ 's :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1161
  #1 'nameptr :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1162
  ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1163
  s num.names$ 'numnames :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1164
  numnames 'namesleft :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1165
    { namesleft #0 > }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1166
    { s nameptr
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1167
      "{vv{ } }{ll{ }}{  ff{ }}{  jj{ }}"
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1168
      format.name$ 't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1169
      nameptr #1 >
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1170
        {
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1171
          "   "  *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1172
          namesleft #1 = t "others" = and
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1173
            { "zzzzz" * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1174
            { t sortify * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1175
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1176
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1177
        { t sortify * }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1178
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1179
      nameptr #1 + 'nameptr :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1180
      namesleft #1 - 'namesleft :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1181
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1182
  while$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1183
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1184
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1185
FUNCTION {sort.format.title}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1186
{ 't :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1187
  "A " #2
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1188
    "An " #3
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1189
      "The " #4 t chop.word
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1190
    chop.word
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1191
  chop.word
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1192
  sortify
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1193
  #1 global.max$ substring$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1194
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1195
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1196
FUNCTION {author.sort}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1197
{ author empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1198
    { key empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1199
        { "to sort, need author or key in " cite$ * warning$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1200
          ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1201
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1202
        { key sortify }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1203
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1204
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1205
    { author sort.format.names }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1206
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1207
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1208
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1209
FUNCTION {author.editor.sort}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1210
{ author empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1211
    { editor empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1212
        { key empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1213
            { "to sort, need author, editor, or key in " cite$ * warning$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1214
              ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1215
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1216
            { key sortify }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1217
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1218
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1219
        { editor sort.format.names }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1220
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1221
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1222
    { author sort.format.names }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1223
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1224
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1225
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1226
FUNCTION {author.organization.sort}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1227
{ author empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1228
    { organization empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1229
        { key empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1230
            { "to sort, need author, organization, or key in " cite$ * warning$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1231
              ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1232
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1233
            { key sortify }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1234
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1235
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1236
        { "The " #4 organization chop.word sortify }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1237
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1238
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1239
    { author sort.format.names }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1240
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1241
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1242
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1243
FUNCTION {editor.organization.sort}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1244
{ editor empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1245
    { organization empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1246
        { key empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1247
            { "to sort, need editor, organization, or key in " cite$ * warning$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1248
              ""
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1249
            }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1250
            { key sortify }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1251
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1252
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1253
        { "The " #4 organization chop.word sortify }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1254
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1255
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1256
    { editor sort.format.names }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1257
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1258
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1259
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1260
FUNCTION {presort}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1261
{ type$ "book" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1262
  type$ "inbook" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1263
  or
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1264
    'author.editor.sort
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1265
    { type$ "proceedings" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1266
        'editor.organization.sort
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1267
        { type$ "manual" =
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1268
            'author.organization.sort
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1269
            'author.sort
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1270
          if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1271
        }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1272
      if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1273
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1274
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1275
  "    "
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1276
  *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1277
  year field.or.null sortify
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1278
  *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1279
  "    "
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1280
  *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1281
  title field.or.null
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1282
  sort.format.title
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1283
  *
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1284
  #1 entry.max$ substring$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1285
  'sort.key$ :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1286
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1287
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1288
ITERATE {presort}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1289
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1290
SORT
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1291
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1292
STRINGS { longest.label }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1293
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1294
INTEGERS { number.label longest.label.width }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1295
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1296
FUNCTION {initialize.longest.label}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1297
{ "" 'longest.label :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1298
  #1 'number.label :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1299
  #0 'longest.label.width :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1300
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1301
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1302
FUNCTION {longest.label.pass}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1303
{ number.label int.to.str$ 'label :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1304
  number.label #1 + 'number.label :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1305
  label width$ longest.label.width >
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1306
    { label 'longest.label :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1307
      label width$ 'longest.label.width :=
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1308
    }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1309
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1310
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1311
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1312
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1313
EXECUTE {initialize.longest.label}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1314
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1315
ITERATE {longest.label.pass}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1316
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1317
FUNCTION {begin.bib}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1318
{ preamble$ empty$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1319
    'skip$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1320
    { preamble$ write$ newline$ }
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1321
  if$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1322
  "\begin{thebibliography}" 
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1323
  write$ newline$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1324
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1325
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1326
EXECUTE {begin.bib}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1327
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1328
EXECUTE {init.state.consts}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1329
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1330
ITERATE {call.type$}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1331
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1332
FUNCTION {end.bib}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1333
{ newline$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1334
  "\end{thebibliography}" write$ newline$
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1335
}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1336
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1337
EXECUTE {end.bib}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1338
%% End of customized bst file
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1339
%%
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
  1340
%% End of file `gtart.bst'.