| changeset 37012 | 106c56e916f8 |
| parent 36213 | 4df49260bd82 |
| child 42716 | 45eb6829dde2 |
| 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 |