*/
class Paper_score : public Music_output {
+ void tex_output ();
public:
Paper_def *paper_l_;
/// other elements
Pointer_list<Score_elem*> elem_p_list_;
-
+
+ Outputter *outputter_l_;
Super_elem *super_elem_l_;
Paper_score ();
/* STANDARD ROUTINES */
- void OK() const;
void print() const;
void typeset_element (Score_elem*);