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, 13 Apr 2006 12:00:58 +0200
changeset 19420 bd5c0adec2b1
parent 19419 2d26166aca27
child 19421 1051bde222db
tuned comment;
src/Pure/display.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/display.ML	Thu Apr 13 12:00:56 2006 +0200
+++ b/src/Pure/display.ML	Thu Apr 13 12:00:58 2006 +0200
@@ -3,7 +3,7 @@
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
-Printing of theories, theorems, etc.
+Printing of theorems, goals, results etc.
 *)
 
 signature BASIC_DISPLAY =
isabelle