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.
val stdErr = std_out (std_err is unavaliable in polyml-3.x);
authorwenzelm
Wed, 06 Mar 2002 23:59:28 +0100
changeset 13037 f7f29f8380ce
parent 13036 dca23533bdfb
child 13038 e968745986f1
val stdErr = std_out (std_err is unavaliable in polyml-3.x);
src/Pure/basis.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/basis.ML	Wed Mar 06 23:57:34 2002 +0100
+++ b/src/Pure/basis.ML	Wed Mar 06 23:59:28 2002 +0100
@@ -141,7 +141,7 @@
   exception Io of {name: string, function: string, cause: exn}
   val stdIn 	= std_in
   val stdOut 	= std_out
-  val stdErr 	= std_err
+  val stdErr 	= std_out
   val openIn 	= open_in
   val openAppend = open_append
   val openOut 	= open_out
isabelle