src/Pure/ML-Systems/smlnj.ML

--- a/src/Pure/ML-Systems/smlnj.ML	Tue Oct 04 23:39:42 2005 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Wed Oct 05 10:56:06 2005 +0200
@@ -174,6 +174,12 @@
 
 val usr1 = UnixSignals.sigUSR1
 val usr2 = UnixSignals.sigUSR2
+val alrm = UnixSignals.sigALRM
+val chld = UnixSignals.sigCHLD
+val cont = UnixSignals.sigCONT
+val int = UnixSignals.sigINT
+val quit = UnixSignals.sigQUIT
+val term = UnixSignals.sigTERM
 
 end;