Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts;
  2. algebraized more material from theory Divides
Changeset 69696:9fd395ff57bc by wenzelm:
avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts;
The file was addedsrc/Tools/jEdit/patches/vfs_manager
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 69695:753ae9e9773d by haftmann:
algebraized more material from theory Divides
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Euclidean_Division.thy (diff)