author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Wed, 04 Nov 2009 21:55:47 +0000 | |
changeset 173 | 299b404b3bc0 |
parent 23 | 7b0a43bdd3c4 |
permissions | -rw-r--r-- |
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 |