devices/grohtml/post-html.cpp

2004   void  do_exec                       (char *, const environment *);
2005   void  do_import                     (char *, const environment *);
2006   void  do_def                        (char *, const environment *);
2007   void  do_mdef                       (char *, const environment *);
2008   void  do_file                       (char *, const environment *);
2009   void  set_line_thickness            (const environment *);
2014   int   sbuf_continuation             (int index, const char *name, const environment *env, int w);
2065   int   overstrike                    (int index, const char *name, const environment *env, int w);
2103   void set_char         (int i, font *f, const environment *env, int w, const char *name);
2104   void set_numbered_char(int num, const environment *env, int *widthp);
2105   int set_char_and_width(const char *nm, const environment *env,
2107   void draw             (int code, int *p, int np, const environment *env);
2110   void special          (char *arg, const environment *env, char type);
2111   void devtag           (char *arg, const environment *env, char type);
4089 void html_printer::set_line_thickness(const environment *env)
4094 void html_printer::draw(int code, int *p, int np, const environment *env)
4258 				     const environment *env, int w)
4320 int html_printer::overstrike(int idx, const char *name, const environment *env, int w)
4353 void html_printer::set_char(int i, font *f, const environment *env,
4385 void html_printer::set_numbered_char(int num, const environment *env,
4421 int html_printer::set_char_and_width(const char *nm, const environment *env,
4830 void html_printer::special(char *s, const environment *env, char type)
4911 void html_printer::devtag (char *s, const environment *env, char type)