# HG changeset patch
# User wenzelm
# Date 1418048517 -3600
# Node ID 364992cd3c505b3963c9698d933b2f0e86c9d44a
# Parent  50ccc027e8a749c50ff47ac34e67d0c3b91a4bee
tuned comment;

diff -r 50ccc027e8a7 -r 364992cd3c50 src/Pure/ML/ml_lex.ML
--- a/src/Pure/ML/ml_lex.ML	Mon Dec 08 11:50:04 2014 +0100
+++ b/src/Pure/ML/ml_lex.ML	Mon Dec 08 15:21:57 2014 +0100
@@ -1,7 +1,7 @@
 (*  Title:      Pure/ML/ml_lex.ML
     Author:     Makarius
 
-Lexical syntax for SML.
+Lexical syntax for Isabelle/ML and Standard ML.
 *)
 
 signature ML_LEX =
diff -r 50ccc027e8a7 -r 364992cd3c50 src/Pure/ML/ml_lex.scala
--- a/src/Pure/ML/ml_lex.scala	Mon Dec 08 11:50:04 2014 +0100
+++ b/src/Pure/ML/ml_lex.scala	Mon Dec 08 15:21:57 2014 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/ML/ml_lex.scala
     Author:     Makarius
 
-Lexical syntax for SML.
+Lexical syntax for Isabelle/ML and Standard ML.
 */
 
 package isabelle