- /**
- Assumes responsibility for deletion of P
- */
- Paper_outputter (Paper_stream*p);
- ~Paper_outputter ();
-
- void dump_scheme (SCM);
-
- void output_int_def (String k, int v);
- void output_Real_def (String k, Real v);
- void output_String_def (String k, String v);
- void output_scope (Scope*, String prefix);
- void output_version ();
- void output_font_def (int i, String str);
- void output_font_switch (int i);
- void output_header ();
- void output_comment (String s);
- void output_string (SCM s);