lib/scripts/isabelle-platform
changeset 37012 106c56e916f8
parent 36213 4df49260bd82
child 42716 45eb6829dde2
     1.1 --- a/lib/scripts/isabelle-platform	Thu May 20 16:25:22 2010 +0200
     1.2 +++ b/lib/scripts/isabelle-platform	Thu May 20 20:20:52 2010 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +# -*- shell-script -*- :mode=shellscript:
     1.5  #
     1.6  # determine general hardware and operating system type for Isabelle
     1.7  #