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.
*** MESSAGE REFERS TO PREVIOUS VERSION ***
authorwenzelm
Wed, 13 Apr 2005 18:48:19 +0200
changeset 15718 f088c10208c0
parent 15717 541e50adfc73
child 15719 3285d665c891
*** MESSAGE REFERS TO PREVIOUS VERSION *** ISABELLE_DOC_FORMAT; tuned;
lib/Tools/display file | annotate | diff | comparison | revisions 
--- a/lib/Tools/display	Wed Apr 13 18:48:05 2005 +0200
+++ b/lib/Tools/display	Wed Apr 13 18:48:19 2005 +0200
@@ -79,3 +79,4 @@
 else
   exec $VIEWER "$FILE"
 fi
+
isabelle