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