Added stuff and diagrams about abstraction.
Fixed some issues with SVG graphics.
Moving to the Springer LNCS style file.
Made a lot of pretty definitions.
Fixed some stuff about graphics.
Colours and references.
Colours!
Added stuff about abstractions.
More stuff in the thesis.
Changed the diagrams, added more content to the thesis.
Fixed a glaring bug in the queue implementation.
These are some examples that break the current implementation at the
algorithmic level.
Added a new data type, will eventually move stuff across to it.
Added more stuff. Now, to test what we have.
OK, we replaced raw_t in a lot of places with dbm_struct_t. Now, to
eliminate all use of raw_t, everywhere, and get rid of all the
dimensions.
Removed all references to raw_t in Ocaml code, replacing them in most
places with dbm . Phew.
Removed an unused variable.
Removed an unused variable.
Changing interfaces, adding tests.
Removing redundant references to dim, adding tests.