src/Pure/ML-Systems/polyml-posix.ML
changeset 17763 6f933b702f44
parent 16375 de1ab9e8ed4f
child 23139 aa899bce7c3b
     1.1 --- a/src/Pure/ML-Systems/polyml-posix.ML	Tue Oct 04 23:39:42 2005 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml-posix.ML	Wed Oct 05 10:56:06 2005 +0200
     1.3 @@ -25,4 +25,9 @@
     1.4    open Signal
     1.5    val usr1 = Posix.Signal.usr1
     1.6    val usr2 = Posix.Signal.usr2
     1.7 +  val alrm = Posix.Signal.alrm
     1.8 +  val chld = Posix.Signal.chld
     1.9 +  val cont = Posix.Signal.cont
    1.10 +  val int  = Posix.Signal.int
    1.11 +  val quit = Posix.Signal.quit
    1.12  end;