src/Pure/Tools/imports.scala
changeset 66671 41b64e53b6a1
parent 66575 191048506504
child 66716 8737b866bd1c
     1.1 --- a/src/Pure/Tools/imports.scala	Sat Sep 16 17:25:51 2017 +0200
     1.2 +++ b/src/Pure/Tools/imports.scala	Sun Sep 17 17:37:40 2017 +0200
     1.3 @@ -119,7 +119,7 @@
     1.4      }
     1.5  
     1.6      if (operation_repository_files) {
     1.7 -      progress.echo("\nMercurial files check:")
     1.8 +      progress.echo("\nMercurial repository check:")
     1.9        val unused_files =
    1.10          for {
    1.11            (_, dir) <- Sessions.directories(dirs, select_dirs)
    1.12 @@ -235,7 +235,7 @@
    1.13    Options are:
    1.14      -D DIR       include session directory and select its sessions
    1.15      -I           operation: report potential session imports
    1.16 -    -M           operation: Mercurial files check for imported theory files
    1.17 +    -M           operation: Mercurial repository check for theory files
    1.18      -R           operate on requirements of selected sessions
    1.19      -U           operation: update theory imports to use session qualifiers
    1.20      -X NAME      exclude sessions from group NAME and all descendants