Minor changes.
Loprog: implemented interrupting of derivation.