The error has been fixed and a new .is zone was generated at 16:12 today. New registrations, renewals of closed domains and changes to nameservers that were stuck in queue from 11:10 today have now gone through.
The problem has been diagnosed and the cause of the error is known.
ISNIC