49 lines
944 B
Plaintext
49 lines
944 B
Plaintext
This is BibTeX, Version 0.99c (Web2C 7.5.6)
|
|
The top-level auxiliary file: symptom_abstraction.aux
|
|
The style file: abbrv.bst
|
|
Database file #1: ../vmgbibliography.bib
|
|
Database file #2: ../mybib.bib
|
|
Warning--I didn't find a database entry for "constraint"
|
|
You've used 8 entries,
|
|
2118 wiz_defined-function locations,
|
|
537 strings with 4490 characters,
|
|
and the built_in function-call counts, 1690 in all, are:
|
|
= -- 158
|
|
> -- 56
|
|
< -- 0
|
|
+ -- 24
|
|
- -- 16
|
|
* -- 58
|
|
:= -- 303
|
|
add.period$ -- 24
|
|
call.type$ -- 8
|
|
change.case$ -- 30
|
|
chr.to.int$ -- 0
|
|
cite$ -- 8
|
|
duplicate$ -- 72
|
|
empty$ -- 167
|
|
format.name$ -- 16
|
|
if$ -- 359
|
|
int.to.chr$ -- 0
|
|
int.to.str$ -- 8
|
|
missing$ -- 6
|
|
newline$ -- 43
|
|
num.names$ -- 16
|
|
pop$ -- 56
|
|
preamble$ -- 1
|
|
purify$ -- 24
|
|
quote$ -- 0
|
|
skip$ -- 54
|
|
stack$ -- 0
|
|
substring$ -- 40
|
|
swap$ -- 8
|
|
text.length$ -- 0
|
|
text.prefix$ -- 0
|
|
top$ -- 0
|
|
type$ -- 28
|
|
warning$ -- 0
|
|
while$ -- 16
|
|
width$ -- 9
|
|
write$ -- 82
|
|
(There was 1 warning)
|