| Shot |
Comment |
 |
Screen shot of Gtwig.
Shows model specification in the top half and a counter-model in the
bottom half of the window. Context highlighting (green) indicates
the expression being inspected at the highlighted line in the
counter-model view (below). |