Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/proofdocument/command.scala
changeset 34835 67733fd0e3fa
parent 34832 d785f72ef388
child 34855 81d0410dc3ac 
--- a/src/Tools/jEdit/src/proofdocument/command.scala	Mon Jan 04 00:13:09 2010 +0100
+++ b/src/Tools/jEdit/src/proofdocument/command.scala	Mon Jan 04 19:08:10 2010 +0100
@@ -73,7 +73,7 @@
           state = state.+(session, message)
 
         case Assign =>
-          assigned = true  // single assigment
+          assigned = true  // single assignment
           reply(())
 
         case bad => System.err.println("command accumulator: ignoring bad message " + bad)
isabelle