Hi,
are you already working on an offline version of HOL?
And is there a way to make the screenshots named in the TOSEC Convention like on:
http://www.screenshotarchive.com
In that way it would be easier to integrate them into other systems/emulators.
thx a lot for your nice information site