Which version of Isabelle are you using, and which one have you used before, that was stable?
-- Peter On Mo, 2013-12-02 at 23:29 +0000, Peter Maximilian Hirschbeck wrote: > Die aktuelle Hausaufgabe ist im Anhang, oder zumindest das was davon übrig > geblieben ist. Leider hat Isabelle bei einem Absturz(welche übrigens seit > neuestem recht häufig vorkommen) mein File beschädigt und kann es nicht mehr > öffnen bzw. zeigt es als leer an. Ich habe das korrupte File angehängt, > vielleicht trägt es ja zur Fehlerfindung/-behebung bei. > Woran kann das liegen, dass Isabelle bei mir so häufig abstürzt(ca. einmal > alle zwei Stunden)? (Ich habe Windows 8.1 und einen neuen Laptop) _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
