Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comment;
authorwenzelm
Mon, 08 Dec 2014 15:21:57 +0100
changeset 59109 364992cd3c50
parent 59108 50ccc027e8a7
child 59110 8a78c7cb5b14
tuned comment;
src/Pure/ML/ml_lex.ML file | annotate | diff | comparison | revisions
src/Pure/ML/ml_lex.scala file | annotate | diff | comparison | revisions 
--- 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 =
--- 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
isabelle