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.
added TextIO.stdErr;
authorwenzelm
Sat, 20 Oct 2001 20:20:41 +0200
changeset 11852 a528a716a312
parent 11851 d190028f43c5
child 11853 651650b717e1
added TextIO.stdErr;
src/Pure/basis.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/basis.ML	Sat Oct 20 20:20:21 2001 +0200
+++ b/src/Pure/basis.ML	Sat Oct 20 20:20:41 2001 +0200
@@ -141,6 +141,7 @@
   exception Io of {name: string, function: string, cause: exn}
   val stdIn 	= std_in
   val stdOut 	= std_out
+  val stdErr 	= std_err
   val openIn 	= open_in
   val openAppend = open_append
   val openOut 	= open_out
isabelle