Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

obsolete;
obsolete;
clarified error;
merged
removed remains of proxy_host management: delegated to .ssh/config;
ssh client via regular OpenSSH tools, with authentic use of .ssh/config (notably proxy configuration); tuned signature;
putting together related theorems
dropped auxiliary lemma

Changeset 76127:a2b3999c2277 by wenzelm: obsolete;
The file was modified	`Admin/components/main`
Changeset 76126:a284c752db39 by wenzelm: obsolete;
The file was modified	`etc/options`
Changeset 76125:497e105a4618 by wenzelm: clarified error;
The file was modified	`src/Pure/General/ssh.scala`
Changeset 76124:7057bf084ea5 by wenzelm: merged
Changeset 76123:4a0b7151fedc by wenzelm: removed remains of proxy_host management: delegated to .ssh/config;
The file was modified	`src/Pure/Admin/isabelle_cronjob.scala`
The file was modified	`src/Pure/General/ssh.scala`
Changeset 76122:b8f26c20d3b1 by wenzelm: ssh client via regular OpenSSH tools, with authentic use of .ssh/config (notably proxy configuration);<br>tuned signature;
The file was modified	`src/Pure/Admin/build_history.scala`
The file was modified	`src/Pure/Admin/isabelle_cronjob.scala`
The file was modified	`src/Pure/General/sql.scala`
The file was modified	`src/Pure/General/ssh.scala`
The file was modified	`src/Pure/System/components.scala`
Changeset 76121:f58ad163bb75 by haftmann: putting together related theorems
The file was modified	`src/HOL/Computational_Algebra/Normalized_Fraction.thy`
The file was modified	`src/HOL/Computational_Algebra/Polynomial.thy`
The file was modified	`src/HOL/Computational_Algebra/Polynomial_Factorial.thy`
Changeset 76120:3ae579092045 by haftmann: dropped auxiliary lemma
The file was modified	`src/HOL/Divides.thy`

Changeset 13004:ac12d61f247c by rene thiemann _rene.thiemann@uibk.ac.at_: added missing congruence rule
The file was modified	`thys/Certification_Monads/Error_Monad.thy`