This is BibTeX, Version 0.99c (Web2C 7.3.1)
The top-level auxiliary file: wittenberg.aux
The style file: amsplain.bst
Database file #1: wittenberg.bib
Warning--missing pages in neron
You've used 10 entries,
            2213 wiz_defined-function locations,
            569 strings with 5427 characters,
and the built_in function-call counts, 3228 in all, are:
= -- 293
> -- 98
< -- 3
+ -- 41
- -- 30
* -- 262
:= -- 505
add.period$ -- 10
call.type$ -- 10
change.case$ -- 45
chr.to.int$ -- 0
cite$ -- 11
duplicate$ -- 137
empty$ -- 311
format.name$ -- 30
if$ -- 687
int.to.chr$ -- 0
int.to.str$ -- 10
missing$ -- 24
newline$ -- 40
num.names$ -- 20
pop$ -- 61
preamble$ -- 1
purify$ -- 35
quote$ -- 0
skip$ -- 75
stack$ -- 0
substring$ -- 276
swap$ -- 29
text.length$ -- 3
text.prefix$ -- 0
top$ -- 0
type$ -- 32
warning$ -- 1
while$ -- 32
width$ -- 12
write$ -- 104
(There was 1 warning)