We fixed a bug which was causing zones to get split unnecessarily.
Extra example to check backward propagation.
We changed the implementation of abstraction of a single dbm to
conform more closely to Patricia Bouyer's idea of it.
Fixing memory leaks, bit by bit. Tests seem to pass.
Fixing memory leaks, bit by bit. Tests seem to pass.
Fixing memory leaks, bit by bit. Tests seem to pass.
Fixing memory leaks, bit by bit. Tests seem to pass.
Fixing memory leaks, bit by bit. Tests seem to pass.
Committing a fix that uses OCaml's garbage collector to free stuff
when there is no earthly way to refer to it again. However, the
program still runs, despite the fact that we have double frees at many
places. This gives me the creeps. I think I'm going to revert the
prior commits that made had the explicit frees.
Reverting "Fixing memory leaks, bit by bit. Tests seem to pass."
Reverting "Fixing memory leaks, bit by bit. Tests seem to pass."
Reverting "Fixing memory leaks, bit by bit. Tests seem to pass."
Reverting "Fixing memory leaks, bit by bit. Tests seem to pass."
Reverting "Fixing memory leaks, bit by bit. Tests seem to pass."
Revert "Fixing memory leaks, bit by bit. Tests seem to pass."

This reverts commit b95b03858e1dfdeb7d94bb090ce50e9a91e03f60.
Added stuff and diagrams about abstraction.
Fixed some issues with SVG graphics.