grafx - Extensible Java Graphics Package Code

Making huge progress on actually writing down code in CoveredHoleMetric.

More progress from IHOP on CoveredHoleMetric.

Made some breakthroughs on CoveredHoleMetric from IHOP. This is a very hard
problem.

Continuing with my analysis, in the comments. CoveredHoleMetric.

Adding additional comments to CoveredHoleMetric.

More dissertation in my comments, CoveredHoleMetric.

Adding more scenarios.

Starting to revise the actual function on CoveredHoleMetric. Not just
comments.

Adding one more sample case to CoveredHoleMetric,
toUncoverHoleIsFilledCubeOnTopHelping().

Comments in CoveredHoleMetric. This is beginning to take shape. I see light
at the end of the tunnel.