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
Wed, 17 Dec 1997 14:57:26 +0100
changeset 4428 5c26253b8a2e
parent 4427 6d4545f809e5
child 4429 4bc296026b22
tuned comment;
src/Pure/ML-Systems/polyml.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/smlnj-0.93.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/smlnj.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/polyml.ML	Wed Dec 17 14:57:02 1997 +0100
+++ b/src/Pure/ML-Systems/polyml.ML	Wed Dec 17 14:57:26 1997 +0100
@@ -109,7 +109,7 @@
 end;
 
 
-(* non-ASCII input (see also Thy/symbol_input.ML) *)
+(* non-ASCII input (see also Thy/use.ML) *)
 
 val needs_filtered_use =
   (case explode ml_system of
--- a/src/Pure/ML-Systems/smlnj-0.93.ML	Wed Dec 17 14:57:02 1997 +0100
+++ b/src/Pure/ML-Systems/smlnj-0.93.ML	Wed Dec 17 14:57:26 1997 +0100
@@ -139,6 +139,6 @@
 end;
 
 
-(* non-ASCII input (see also Thy/symbol_input.ML) *)
+(* non-ASCII input (see also Thy/use.ML) *)
 
 val needs_filtered_use = false;
--- a/src/Pure/ML-Systems/smlnj.ML	Wed Dec 17 14:57:02 1997 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML	Wed Dec 17 14:57:26 1997 +0100
@@ -117,6 +117,6 @@
   | SOME txt => txt);
 
 
-(* non-ASCII input (see also Thy/symbol_input.ML) *)
+(* non-ASCII input (see also Thy/use.ML) *)
 
 val needs_filtered_use = false;
isabelle