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
Thu, 27 Feb 2014 10:38:47 +0100
changeset 55778 e1fd8780f997
parent 55777 90484dff4dc4
child 55779 30fb00b5a9d3
tuned comment;
src/Tools/jEdit/src/document_model.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/document_model.scala	Wed Feb 26 20:56:55 2014 +0100
+++ b/src/Tools/jEdit/src/document_model.scala	Thu Feb 27 10:38:47 2014 +0100
@@ -2,7 +2,8 @@
     Author:     Fabian Immler, TU Munich
     Author:     Makarius
 
-Document model connected to jEdit buffer -- single node in theory graph.
+Document model connected to jEdit buffer (node in theory graph or
+auxiliary file).
 */
 
 package isabelle.jedit
isabelle