class HTMLOStream : public PrettyOStream
{
  HTMLOStream(const HTMLOStream&);      // no copy constructor
  void operator = (const HTMLOStream&); // no assignment
public:
  typedef const char * Tag;

  HTMLOStream();
  HTMLOStream(std::ostream&);
  ~HTMLOStream();

  HTMLOStream& begin_tag(Tag);
  HTMLOStream& end_tag();
};

#endif
