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;
authorwenzelm
Tue, 20 Sep 2005 14:03:40 +0200
changeset 17511 51314f4bd01d
parent 17510 5e3ce025e1a5
child 17512 854d061f6c10
tuned;
src/Pure/Isar/context_rules.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/smlnj.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/context_rules.ML	Tue Sep 20 14:03:39 2005 +0200
+++ b/src/Pure/Isar/context_rules.ML	Tue Sep 20 14:03:40 2005 +0200
@@ -121,7 +121,7 @@
 
 structure GlobalRulesArgs =
 struct
-  val name = "Isar/rule_context";
+  val name = "Isar/rules";
   type T = T;
 
   val empty = make_rules ~1 [] empty_netpairs ([], []);
--- a/src/Pure/ML-Systems/smlnj.ML	Tue Sep 20 14:03:39 2005 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Tue Sep 20 14:03:40 2005 +0200
@@ -63,10 +63,10 @@
 fun ml_prompts p1 p2 =
   (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2);
 
-(*dummy impelemtation*)
+(*dummy implementation*)
 fun profile (n: int) f x = f x;
 
-(*dummy impelemtation*)
+(*dummy implementation*)
 fun exception_trace f = f ();
 
 (case #version_id (Compiler.version) of
@@ -143,6 +143,7 @@
 
 end;
 
+
 (** Signal handling: emulation of the Poly/ML Signal structure. Note that types
     Posix.Signal.signal and Signals.signal differ **)
isabelle