fixed spelling;
authorwenzelm
Sat Feb 06 20:57:07 2010 +0100 (2010-02-06)
changeset 35013f3d491658893
parent 35012 c3e3ac3ca091
child 35014 a725ff6ead26
fixed spelling;
src/Pure/Isar/args.ML
src/Pure/System/session.scala
src/Pure/type_infer.ML
     1.1 --- a/src/Pure/Isar/args.ML	Sat Feb 06 16:32:34 2010 +0100
     1.2 +++ b/src/Pure/Isar/args.ML	Sat Feb 06 20:57:07 2010 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      Pure/Isar/args.ML
     1.5      Author:     Markus Wenzel, TU Muenchen
     1.6  
     1.7 -Parsing with implicit value assigment.  Concrete argument syntax of
     1.8 +Parsing with implicit value assignment.  Concrete argument syntax of
     1.9  attributes, methods etc.
    1.10  *)
    1.11  
     2.1 --- a/src/Pure/System/session.scala	Sat Feb 06 16:32:34 2010 +0100
     2.2 +++ b/src/Pure/System/session.scala	Sat Feb 06 20:57:07 2010 +0100
     2.3 @@ -122,14 +122,13 @@
     2.4          // global status message
     2.5          result.body match {
     2.6  
     2.7 -          // document state assigment
     2.8 +          // document state assignment
     2.9            case List(XML.Elem(Markup.ASSIGN, _, edits)) if target_id.isDefined =>
    2.10              documents.get(target_id.get) match {
    2.11                case Some(doc) =>
    2.12                  val states =
    2.13                    for {
    2.14 -                    XML.Elem(Markup.EDIT, (Markup.ID, cmd_id) :: (Markup.STATE, state_id) :: _, _)
    2.15 -                      <- edits
    2.16 +                    XML.Elem(Markup.EDIT, (Markup.ID, cmd_id) :: (Markup.STATE, state_id) :: _, _) <- edits
    2.17                      cmd <- lookup_command(cmd_id)
    2.18                    } yield {
    2.19                      val st = cmd.assign_state(state_id)
     3.1 --- a/src/Pure/type_infer.ML	Sat Feb 06 16:32:34 2010 +0100
     3.2 +++ b/src/Pure/type_infer.ML	Sat Feb 06 20:57:07 2010 +0100
     3.3 @@ -284,7 +284,7 @@
     3.4        | meets _ tye_idx = tye_idx;
     3.5  
     3.6  
     3.7 -    (* occurs check and assigment *)
     3.8 +    (* occurs check and assignment *)
     3.9  
    3.10      fun occurs_check tye i (Param (i', S)) =
    3.11            if i = i' then raise NO_UNIFIER ("Occurs check!", tye)