Diffusion Isabelle 2a82462276db

more robust connection via proxy_host;
2a82462276db
Actions

Tags

None

Subscribers

None

Description

more robust connection via proxy_host;

Details

Provenance

Authored on

Parents

rISABELLEcf2406e654cf: more robust: proper transfer if Context.eq_thy_id;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2a82462276db: more robust connection via proxy_host;.Mar 15 2020, 11:38 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE2a82462276db

src/Pure/Admin/isabelle_cronjob.scala

Loading...