Dear all,

From now, it is possible to switch off serialization in the ProM ini file. Just add the following lines:

#
# Indicate whether or not ProM should serialize the
# workspace. If switched off, the last serialized
# workspace will be loaded on each start
DO_SERIALIZATION = false

If serialization is switched off, the last serialized workspace will be loaded on every start. This is helpful for debugging purposes.

Please keep in mind that it is necessary to test your work with serialization switched on.

Cheers,
Boudewijn