fixed comments;
authorwenzelm
Mon Dec 16 10:01:17 1996 +0100 (1996-12-16)
changeset 2402b3d273ce5601
parent 2401 0293bc1cecfc
child 2403 8115988ccc22
fixed comments;
src/Pure/basis.ML
     1.1 --- a/src/Pure/basis.ML	Mon Dec 16 10:00:08 1996 +0100
     1.2 +++ b/src/Pure/basis.ML	Mon Dec 16 10:01:17 1996 +0100
     1.3 @@ -1,11 +1,11 @@
     1.4 -(*  Title:      Pure/NJ
     1.5 +(*  Title:      Pure/basis.ML
     1.6      ID:         $Id$
     1.7      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.8      Copyright   1993  University of Cambridge
     1.9  
    1.10 -Basis Library emulation
    1.11 +Basis Library emulation.
    1.12  
    1.13 -Needed for Poly/ML and Standard ML of New Jersey version 0.93
    1.14 +Needed for Poly/ML and Standard ML of New Jersey version 0.93 to 1.08.
    1.15  
    1.16  Full compatibility cannot be obtained using a file: what about char constants?
    1.17  *)