renamed antiquotation 'name' to 'text'; added antiquotation option 'source';
renamed antiquotation 'name' to 'text';
added antiquotation option 'source';

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle