The coloring of the omega-ancestors in a schematic proof was implemented.
The local cut-ancestors are marked with green. The omega-ancestors are marked with red.
This makes the propagation of cuts in the sub-proofs corresponding to the proof-links
straightforwardly visible.









git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1551 85d21ef8-add0-11de-ae77-5bfb9c5a3f34