1.1 --- a/Admin/Release/CHECKLIST	Fri May 02 13:52:45 2014 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Fri May 02 13:57:57 2014 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  
     1.5  - check HTML header of library;
     1.6  
     1.7 -- check ML sources: isabelle build -nal;
     1.8 +- check sources: see isabelle.Check_Source;
     1.9  
    1.10  - run isabelle update_keywords;
    1.11  

     2.1 --- a/src/Pure/Tools/build.scala	Fri May 02 13:52:45 2014 +0200
     2.2 +++ b/src/Pure/Tools/build.scala	Fri May 02 13:57:57 2014 +0200
     2.3 @@ -484,19 +484,8 @@
     2.4                  info.files.map(file => info.dir + file) :::
     2.5                  info.document_files.map(file => info.dir + file._1 + file._2)).map(_.expand)
     2.6  
     2.7 -            if (list_files) {
     2.8 +            if (list_files)
     2.9                progress.echo(cat_lines(all_files.map(_.implode).sorted.map("  " + _)))
    2.10 -              for {
    2.11 -                file <- all_files
    2.12 -                if file.split_ext._2 == "ML"
    2.13 -              } {
    2.14 -                val path = info.dir + file
    2.15 -                try { Symbol.decode_strict(File.read(path)) }
    2.16 -                catch {
    2.17 -                  case ERROR(msg) => cat_error(msg, "The error(s) above occurred in file " + path)
    2.18 -                }
    2.19 -              }
    2.20 -            }
    2.21  
    2.22              val sources = all_files.map(p => (p, SHA1.digest(p.file)))
    2.23