lib/scripts/isabelle-platform
changeset 37012 106c56e916f8
parent 36213 4df49260bd82
child 42716 45eb6829dde2
equal deleted inserted replaced
37011:f692d6178e4e 37012:106c56e916f8
       
     1 # -*- shell-script -*- :mode=shellscript:
     1 #
     2 #
     2 # determine general hardware and operating system type for Isabelle
     3 # determine general hardware and operating system type for Isabelle
     3 #
     4 #
     4 # NOTE: The ML system or JVM may have their own idea about the platform!
     5 # NOTE: The ML system or JVM may have their own idea about the platform!
     5 
     6