On 08/07/2011 02:53 PM, Alexander Krauss wrote:
The mira framework, which serves our continuous builds, is currently down, since I messed something up while updating the data representation in the database.
We're back to normal operation. Alex _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
