devices/grohtml/post-html.cpp

2006   void  do_exec                       (char *, const environment *);
2007   void  do_import                     (char *, const environment *);
2008   void  do_def                        (char *, const environment *);
2009   void  do_mdef                       (char *, const environment *);
2010   void  do_file                       (char *, const environment *);
2011   void  set_line_thickness            (const environment *);
2016   int   sbuf_continuation             (int index, const char *name, const environment *env, int w);
2067   int   overstrike                    (int index, const char *name, const environment *env, int w);
2105   void set_char         (int i, font *f, const environment *env, int w, const char *name);
2106   void set_numbered_char(int num, const environment *env, int *widthp);
2107   int set_char_and_width(const char *nm, const environment *env,
2109   void draw             (int code, int *p, int np, const environment *env);
2112   void special          (char *arg, const environment *env, char type);
2113   void devtag           (char *arg, const environment *env, char type);
4091 void html_printer::set_line_thickness(const environment *env)
4096 void html_printer::draw(int code, int *p, int np, const environment *env)
4260 				     const environment *env, int w)
4322 int html_printer::overstrike(int idx, const char *name, const environment *env, int w)
4355 void html_printer::set_char(int i, font *f, const environment *env,
4387 void html_printer::set_numbered_char(int num, const environment *env,
4423 int html_printer::set_char_and_width(const char *nm, const environment *env,
4832 void html_printer::special(char *s, const environment *env, char type)
4913 void html_printer::devtag (char *s, const environment *env, char type)