U:RDoc::Attr[iI"format:ETI"QED::Document#format;TI"RW;T:publico:RDoc::Markup::Document:@parts[o:RDoc::Markup::Paragraph;	[I"6Format of output file, either 'html' or 'plain'. ;TI"*Defaults to extension of output file.;T:
@fileI"lib/qed/document.rb;T:0@omit_headings_from_table_of_contents_below0F@I"QED::Document;TcRDoc::NormalClass0