Diffusion Isabelle 02a743911ffe

merged
02a743911ffe
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLE175e6d47e3af: tidied a few ugly proofs
rISABELLEb62634686c72: proper path;

Branches

Unknown

Tags

Unknown

Event Timeline

paulson committed rISABELLE02a743911ffe: merged.Sep 11 2022, 2:27 PM

Merged Changes

1bb677cceea4 let rsync re-use ssh connection via control path;
Author
makarius
Browse Repository
No Builds
No Audits
a144603170b4 clarified command-line;
Author
makarius
Browse Repository
No Builds
No Audits
c6e0a51f2a93 clarified command-line;
Author
makarius
Browse Repository
No Builds
No Audits
c5fd7947f585 tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
2bb6eb6df6c2 proper port for Mercurial;
Author
makarius
Browse Repository
No Builds
No Audits
8b695e59db3f clarified default: do not override port from ssh_config, which could be…
Author
makarius
Browse Repository
No Builds
No Audits
b703cecf9bd0 proper Scala expression;
Author
makarius
Browse Repository
No Builds
No Audits
5979f73b9db1 clarified signature: separate unrelated modules;
Author
makarius
Browse Repository
No Builds
No Audits
f5e96a4039a7 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
a2b3999c2277 obsolete;
Author
makarius
Browse Repository
No Builds
No Audits
a284c752db39 obsolete;
Author
makarius
Browse Repository
No Builds
No Audits
497e105a4618 clarified error;
Author
makarius
Browse Repository
No Builds
No Audits
7057bf084ea5 merged
Author
makarius
Browse Repository
No Builds
No Audits
4a0b7151fedc removed remains of proxy_host management: delegated to .ssh/config;
Author
makarius
Browse Repository
No Builds
No Audits
b8f26c20d3b1 ssh client via regular OpenSSH tools, with authentic use of .ssh/config…
Author
makarius
Browse Repository
No Builds
No Audits
f58ad163bb75 putting together related theorems
Author
florian.haftmann
Browse Repository
No Builds
No Audits
3ae579092045 dropped auxiliary lemma
Author
florian.haftmann
Browse Repository
No Builds
No Audits
e5cfb05d312e unused;
Author
makarius
Browse Repository
No Builds
No Audits
e8e3b60d8ecd clarified operation: avoid perl;
Author
makarius
Browse Repository
No Builds
No Audits
531248fd8952 discontinued unused operations;
Author
makarius
Browse Repository
No Builds
No Audits
c4dc343fdbcb clarified signature: avoid exposure of JSch types;
Author
makarius
Browse Repository
No Builds
No Audits
f17393e21388 clarified signature: discontinue somewhat pointless SSH.Context;
Author
makarius
Browse Repository
No Builds
No Audits
44724221b45c tuned;
Author
makarius
Browse Repository
No Builds
No Audits
b62634686c72 proper path;
Author
makarius
Browse Repository
No Builds
No Audits
41bea72acc75 Added tag Isabelle2022-RC1 for changeset 6308eaaa88f1
Author
makarius
Browse Repository
No Builds
No Audits

Changes (2)

Path

Size

src/

HOL/

Analysis/

Complex_Transcendental.thy

Library/

Extended_Nonnegative_Real.thy

rISABELLE02a743911ffe

src/HOL/Analysis/Complex_Transcendental.thy

Loading...

src/HOL/Library/Extended_Nonnegative_Real.thy

Loading...