DataMuseum.dk

top - metrics - download

    Length: 712 (0x2c8)
    Types: TextFile
    Names: »bibtex.defines«

└─⟦060c9c824⟧ Bits:30007080 DKUUG TeX 2/12/89
    └─⟦this⟧ »./tex82/bibtex/bibtex.defines« 

TextFile

@define type char=0..127;
@define type integer;
@define type boolean=0..1;
@define procedure writeln();
@define procedure write();
@define var stdout;
@define var stdin;
@define procedure incr();
@define procedure decr();
@define function testaccess();
@define var true;
@define var false;
@define procedure lineread();
@define procedure reset();
@define procedure rewrite();
@define procedure aclose();
@define function chr();
@define var gargc;
@define function getc();
@define function getcmdline();
@define function eoln();
@define procedure readln();
@define function eof();
@define procedure uexit();
@define type palphafile;
@define procedure printstr();
@define procedure hack1;
@define procedure hack2;