Diffusion Isabelle 197a5b3a1ea2

promote "isabelle sync" to regular user-space tool, with proper documentation;
197a5b3a1ea2
Actions

Description

promote "isabelle sync" to regular user-space tool, with proper documentation;

Details

Provenance

makarius

Authored on

Parents

rISABELLEbe33ca6f45d7: more comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE197a5b3a1ea2: promote "isabelle sync" to regular user-space tool, with proper documentation;.Jun 11 2022, 10:55 PM

makarius mentioned this in Blog Post: Command-line tools "isabelle hg_sync" and "isabelle sync".Jun 11 2022, 11:01 PM

Changes (10)

Path

Size

NEWS

etc/

build.props

src

Doc/

System/

System/

	Tools/
	Admin/

sync.scala

rISABELLE197a5b3a1ea2

View Options

NEWS

View Options

etc/build.props

View Options

src/Doc/System/Misc.thy

View Options

src/Pure/Admin/sync.scala

View Options

src/Pure/System/isabelle_tool.scala

View Options

promote "isabelle sync" to regular user-space tool, with proper documentation;197a5b3a1ea2Actions

Description

Details

Event Timeline

Changes (10)

rISABELLE197a5b3a1ea2

NEWS

etc/build.props

src/Doc/System/Misc.thy

src/Pure/Admin/sync.scala

src/Pure/System/isabelle_tool.scala

src/Pure/Tools/sync.scala

promote "isabelle sync" to regular user-space tool, with proper documentation;
197a5b3a1ea2
Actions