Diffusion Isabelle 0dcaf0e5107b

clarified modules;
0dcaf0e5107b
Actions

Tags

None

Subscribers

None

Description

clarified modules;

Details

Provenance

Authored on

Parents

rISABELLE65ecf4c5b868: removed obsolete self_update: always enabled, notably on lxbroy10 which is the…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0dcaf0e5107b: clarified modules;.Tue, Jun 7, 12:32 PM

Changes (8)

Path

Size

etc/

Admin/

sync_repos.scala

mercurial.scala

System/

isabelle_system.scala

rISABELLE0dcaf0e5107b

etc/build.props

Loading...

src/Pure/Admin/sync_repos.scala

Loading...

src/Pure/General/mercurial.scala

Loading...

src/Pure/General/rsync.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...