Mercurial Mercurial > repos > testboard / 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
Mon, 20 Aug 2012 15:43:10 +0200
changeset 48866 034df7b05759
parent 48865 9824fd676bf4
child 48867 e9beabf045ab
tuned comment;
src/Pure/General/path.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/path.ML	Mon Aug 20 14:23:20 2012 +0200
+++ b/src/Pure/General/path.ML	Mon Aug 20 15:43:10 2012 +0200
@@ -190,7 +190,7 @@
 val expand = rep #> maps eval #> norm #> Path;
 
 
-(* source position -- with smart replacement ISABELLE_HOME *)
+(* source position -- with smart replacement of ISABELLE_HOME *)
 
 val isabelle_home = explode_path "~~";
testboard