2014-04-29 wenzelm [Tue, 29 Apr 2014 15:42:19 +0200] rev 56787
require explicit 'document_files';
NEWS src/Pure/Thy/present.ML

2014-04-29 wenzelm [Tue, 29 Apr 2014 15:35:40 +0200] rev 56786
updated mkroot;
lib/Tools/mkroot

2014-04-29 wenzelm [Tue, 29 Apr 2014 15:24:41 +0200] rev 56785
basic support for Mercurial command line tools;
src/Pure/System/isabelle_system.scala

2014-04-29 wenzelm [Tue, 29 Apr 2014 14:50:40 +0200] rev 56784
clarified;
src/Pure/System/isabelle_process.scala src/Pure/Tools/doc.scala

2014-04-29 wenzelm [Tue, 29 Apr 2014 14:04:10 +0200] rev 56783
ignore malformed file names outright, e.g. .class files with dollar;
src/Pure/General/file.scala

2014-04-29 wenzelm [Tue, 29 Apr 2014 13:32:13 +0200] rev 56782
more systematic Isabelle output, like in classic Isabelle/ML (without markup);
src/Pure/Concurrent/consumer_thread.scala src/Pure/General/completion.scala src/Pure/General/exn.scala src/Pure/General/output.scala src/Pure/General/timing.scala src/Pure/PIDE/command.scala src/Pure/PIDE/markup_tree.scala src/Pure/PIDE/session.scala src/Pure/System/command_line.scala src/Pure/Tools/build.scala src/Pure/Tools/main.scala src/Pure/Tools/simplifier_trace.scala src/Pure/build-jars src/Tools/Graphview/src/graphview.scala src/Tools/jEdit/src/simplifier_trace_window.scala

2014-04-29 wenzelm [Tue, 29 Apr 2014 13:29:05 +0200] rev 56781
systematic replacement of 'files' by 'document_files';
src/FOL/ROOT src/HOL/ROOT src/ZF/ROOT

2014-04-29 wenzelm [Tue, 29 Apr 2014 12:00:50 +0200] rev 56780
tuned signature -- accomodate operations of ROOT files;
src/Pure/Tools/build.scala

2014-04-29 wenzelm [Tue, 29 Apr 2014 11:14:39 +0200] rev 56779
tuned -- prefer Isabelle/Scala operations;
src/Pure/Tools/build.scala

2014-04-28 wenzelm [Mon, 28 Apr 2014 23:43:13 +0200] rev 56778
tuned proofs;
src/HOL/Library/Fundamental_Theorem_Algebra.thy