Diffusion Isabelle 8378354bbdad

avoid option -C: free this latter for build-related configuration;
8378354bbdad
Actions

Tags

None

Subscribers

None

Description

avoid option -C: free this latter for build-related configuration;

Details

Provenance

Authored on

Parents

rISABELLE30e0c15a71f7: more direct indentation, using Symbol.spaces;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8378354bbdad: avoid option -C: free this latter for build-related configuration;.Wed, Nov 8, 3:37 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_history.scala

isabelle_cronjob.scala

rISABELLE8378354bbdad

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...