Changes

Summary

Changeset 63472:ae33d1c2ab26 by lars hupel _lars.hupel@mytum.de_: tuned
The file was modified	`src/Pure/Tools/ci_profile.scala` (diff)
Changeset 63471:52d0adb915ee by lars hupel _lars.hupel@mytum.de_: remove obsolete isatest scripts
The file was removed	`Admin/isatest/crontab.lxbroy10`
The file was removed	`Admin/isatest/crontab.macbroy2`
The file was removed	`Admin/isatest/isatest-check`
The file was removed	`Admin/isatest/isatest-makeall`
The file was removed	`Admin/isatest/isatest-makedist`
The file was removed	`Admin/isatest/isatest-settings`
The file was removed	`Admin/isatest/isatest-statistics`
The file was removed	`Admin/isatest/isatest-stats`
The file was removed	`Admin/isatest/pmail`
The file was removed	`Admin/isatest/settings/afp-poly`
The file was removed	`Admin/isatest/settings/at-poly`
The file was removed	`Admin/isatest/settings/at64-poly`
The file was removed	`Admin/isatest/settings/mac-poly-M2`
The file was removed	`Admin/isatest/settings/mac-poly-M4`
The file was removed	`Admin/isatest/settings/mac-poly-M8`
The file was removed	`Admin/isatest/settings/mac-poly-M8-quick_and_dirty`
The file was removed	`Admin/isatest/settings/mac-poly-M8-skip_proofs`
The file was removed	`Admin/isatest/settings/mac-poly64-M2`
The file was removed	`Admin/isatest/settings/mac-poly64-M4`
The file was removed	`Admin/isatest/settings/mac-poly64-M8`
The file was removed	`Admin/mira.py`