# HG changeset patch
# User wenzelm
# Date 1246313670 -7200
# Node ID 73a8032ea95bd1d654a4fedb8d0008a1d986deb4
# Parent  7c2a5e79a65487fe2415ff5cd23bcd3adac168b4
fixed permissions;

diff -r 7c2a5e79a654 -r 73a8032ea95b src/Pure/System/cygwin.scala
diff -r 7c2a5e79a654 -r 73a8032ea95b src/Pure/System/gui_setup.scala
diff -r 7c2a5e79a654 -r 73a8032ea95b src/Pure/System/isabelle_system.scala
diff -r 7c2a5e79a654 -r 73a8032ea95b src/Pure/System/platform.scala