Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more signals
authorpaulson
Wed, 05 Oct 2005 10:56:06 +0200
changeset 17763 6f933b702f44
parent 17762 478869f444ca
child 17764 fde495b9e24b
more signals
src/Pure/ML-Systems/polyml-posix.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/smlnj.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/polyml-posix.ML	Tue Oct 04 23:39:42 2005 +0200
+++ b/src/Pure/ML-Systems/polyml-posix.ML	Wed Oct 05 10:56:06 2005 +0200
@@ -25,4 +25,9 @@
   open Signal
   val usr1 = Posix.Signal.usr1
   val usr2 = Posix.Signal.usr2
+  val alrm = Posix.Signal.alrm
+  val chld = Posix.Signal.chld
+  val cont = Posix.Signal.cont
+  val int  = Posix.Signal.int
+  val quit = Posix.Signal.quit
 end;
--- 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;
isabelle