Diffusion Isabelle e4d6b9bd5071

clarified module name;
e4d6b9bd5071
Actions

Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Mute Notifications
Award Token
Flag For Later

Description

clarified module name;

Details

Provenance

makarius

Authored on

Parents

rISABELLEc9ee3028c125: clean build from explicit MANIFEST: avoid accidental garbage in vsix package;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe4d6b9bd5071: clarified module name;.Mar 21 2022, 11:55 AM

Changes (11)

Path

Size

Admin/

Windows/

launch4j/

isabelle.xml

etc/

build.props

src

Doc/

System/

Environment.thy

Pure/

Admin/

build_release.scala

Tools

jEdit

lib/

Tools/

jedit

src

	jedit_main.scala
	main.scala

main.scala

rISABELLEe4d6b9bd5071

View Options

Admin/Windows/launch4j/isabelle.xml

View Options

etc/build.props

View Options

src/Doc/System/Environment.thy

View Options

src/Pure/Admin/build_release.scala

View Options

src/Tools/jEdit/lib/Tools/jedit

View Options

src/Tools/jEdit/src/jedit_main.scala

View Options

src/Tools/jEdit/src/main.scala

clarified module name;e4d6b9bd5071Actions

Description

Details

Event Timeline

Changes (11)

rISABELLEe4d6b9bd5071

Admin/Windows/launch4j/isabelle.xml

etc/build.props

src/Doc/System/Environment.thy

src/Pure/Admin/build_release.scala

src/Tools/jEdit/lib/Tools/jedit

src/Tools/jEdit/src/jedit_main.scala

src/Tools/jEdit/src/main.scala

clarified module name;
e4d6b9bd5071
Actions