will do some refractoring
some refractoring
fixed a bug in CoqTopXmlIO which caused failure in parsings coqtop's reply if it was more that size of one buffer
more refractoring
displying subgoal; some bugs there
some changes