src/Pure/basis.ML
2002-03-06 wenzelm val stdErr = std_out (std_err is unavaliable in polyml-3.x);
2001-10-20 wenzelm added TextIO.stdErr;
1998-11-09 wenzelm exnMessage Interrupt;
1998-10-13 wenzelm added Int.int;
1998-07-28 wenzelm added Real structure (taken from SML/NJ basis lib);
1998-06-10 wenzelm added exnMessage;
1997-05-20 paulson Basis library version of type "option" now resides in its own structure Option
1997-04-24 wenzelm open General (type option is in Option in the newer versions, but always
1997-04-03 paulson More List and ListPair utilities
1997-04-02 paulson Now declares Basis Library version of type option
1997-01-03 paulson A definition of "print", unfortunately overridden by each "open PolyML"
1996-12-16 wenzelm fixed comments;
1996-11-28 paulson Addition of structures List and ListPair
1996-11-26 paulson Structure Bool and value Int.toString needed to replace makestring calls
1996-11-22 paulson Basis library emulation for old ML compilers
less more (0) tip