2016-10-12 wenzelm [Wed, 12 Oct 2016 15:51:20 +0200] rev 64169
tuned;
src/Pure/General/mercurial.scala

2016-10-12 wenzelm [Wed, 12 Oct 2016 15:48:05 +0200] rev 64168
added clone_repository;
tuned;
src/Pure/General/mercurial.scala

2016-10-12 wenzelm [Wed, 12 Oct 2016 15:23:54 +0200] rev 64167
support remote repositories via ssh command execution;
tuned;
src/Pure/General/mercurial.scala src/Pure/System/isabelle_system.scala

2016-10-12 wenzelm [Wed, 12 Oct 2016 15:04:32 +0200] rev 64166
tuned signature;
src/Pure/General/ssh.scala

2016-10-12 wenzelm [Wed, 12 Oct 2016 11:48:53 +0200] rev 64165
modernized;
src/Pure/Admin/ci_profile.scala

2016-10-12 haftmann [Wed, 12 Oct 2016 20:38:47 +0200] rev 64164
separate type class for arbitrary quotient and remainder partitions
src/HOL/Divides.thy src/HOL/Library/Polynomial_Factorial.thy src/HOL/Number_Theory/Euclidean_Algorithm.thy src/HOL/Rings.thy

2016-10-11 haftmann [Tue, 11 Oct 2016 16:44:13 +0200] rev 64163
stripped dependency on pragmatic type class semiring_div
src/HOL/Number_Theory/Euclidean_Algorithm.thy

2016-10-12 wenzelm [Wed, 12 Oct 2016 11:31:08 +0200] rev 64162
simplified: no internal state for Mercurial;
src/Pure/Admin/build_history.scala src/Pure/Admin/check_sources.scala src/Pure/Admin/isabelle_cronjob.scala src/Pure/General/mercurial.scala

2016-10-12 wenzelm [Wed, 12 Oct 2016 10:22:34 +0200] rev 64161
explicit indication of Admin tools;
src/Pure/Admin/build_doc.scala src/Pure/Admin/build_stats.scala src/Pure/Admin/check_sources.scala src/Pure/Admin/remote_dmg.scala src/Pure/System/isabelle_system.scala src/Pure/System/isabelle_tool.scala src/Pure/Tools/build_doc.scala src/Pure/Tools/build_stats.scala src/Pure/Tools/check_sources.scala src/Pure/Tools/remote_dmg.scala src/Pure/build-jars

2016-10-12 wenzelm [Wed, 12 Oct 2016 09:38:20 +0200] rev 64160
clarified files;
src/Pure/Admin/build_history.scala src/Pure/Admin/build_log.scala src/Pure/Admin/ci_api.scala src/Pure/Admin/ci_profile.scala src/Pure/Tools/build_history.scala src/Pure/Tools/build_log.scala src/Pure/Tools/ci_api.scala src/Pure/Tools/ci_profile.scala src/Pure/build-jars