devices/grohtml/post-html.cpp

492   void        remember_table (html_table *t);
493   html_table *get_table      (void);
504   html_table     *tab;                  // table description
902 void text_glob::remember_table (html_table *t)
913 html_table *text_glob::get_table (void)
1972   html_table          *table;
2991   html_table *t = g->get_table();
3521   html_table *tbl            = new html_table(&html, -1);
3572 	  tbl = new html_table(&html, -1);
3599 	  tbl = new html_table(&html, -1);
3625  	tbl = new html_table(&html, -1);
3638 	    tbl = new html_table(&html, -1);
3656 	  tbl = new html_table(&html, -1);