# HG changeset patch
# User wenzelm
# Date 850726877 -3600
# Node ID b3d273ce5601b9a27619ec8f73592424d43a41ec
# Parent  0293bc1cecfc07c90af6a4caa4d57de75a28bb8f
fixed comments;

diff -r 0293bc1cecfc -r b3d273ce5601 src/Pure/basis.ML
--- a/src/Pure/basis.ML	Mon Dec 16 10:00:08 1996 +0100
+++ b/src/Pure/basis.ML	Mon Dec 16 10:01:17 1996 +0100
@@ -1,11 +1,11 @@
-(*  Title:      Pure/NJ
+(*  Title:      Pure/basis.ML
     ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
-Basis Library emulation
+Basis Library emulation.
 
-Needed for Poly/ML and Standard ML of New Jersey version 0.93
+Needed for Poly/ML and Standard ML of New Jersey version 0.93 to 1.08.
 
 Full compatibility cannot be obtained using a file: what about char constants?
 *)