14 Symtable::lookup(String s) const
20 WARN<<"Unknown symbol " << s <<'\n';
26 Symtables::operator()(String s)
28 if (!done_reading){ // read on demand
29 *mlog << '(' << fname ;
34 return Assoc<String, Symtable*>::operator[](s);
40 Text_db symini(fname);
41 while (!symini.eof()) {
42 Text_record r( symini++);
43 assert (r[0] == "table");
46 Symtable * sp = new Symtable;
47 while (!symini.eof()){
57 for (int j=0; j < 4; j++)
58 dims.add( parse_dimen(r[i++]));
60 Symbol s(tex, Box(dims));