src/Pure/System/message_channel.ML
changeset 66787 64b47495676d
parent 62359 6709e51d5c11
child 69449 b516fdf8005c