1 /* Title: Pure/System/platform.scala
2 Module: PIDE
3 Author: Makarius
2 Author: Makarius
4
3
5 Raw platform identification.
4 Raw platform identification.
6 */
5 */
7
6