[ref_impl_eiffel] [752] Correct code for quote insertion, to always backslash-quote '\' and '"' characters, since in non-serialised form of text there is by definition no 'quoting' (it is only a concept that applies to serialised form of an archetype on a

Revision: 752
Author: thomas.beale

Log Message: