Diffusion Isabelle ce06d6456cc8

clarified signature --- fit within limit of 22 arguments;
ce06d6456cc8
Actions

Tags

None

Subscribers

None

Description

clarified signature --- fit within limit of 22 arguments;

Details

Provenance

Authored on

Parents

rISABELLE7a39036d5a19: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEce06d6456cc8: clarified signature --- fit within limit of 22 arguments;.May 26 2020, 11:58 AM

Changes (7)

Path

Size

src/

Doc/

System/

Pure/

Admin/

build_doc.scala

ci_profile.scala

Tools/

server_commands.scala

Tools/

VSCode/

src/

jEdit/

src/

jedit_sessions.scala

rISABELLEce06d6456cc8

src/Doc/System/Sessions.thy

Loading...

src/Pure/Admin/build_doc.scala

Loading...

src/Pure/Admin/ci_profile.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/server_commands.scala

Loading...

src/Tools/VSCode/src/server.scala

Loading...

src/Tools/jEdit/src/jedit_sessions.scala

Loading...