Diffusion Isabelle adb3f8d33838

more informative errors, with optional exception trace as in Command_Line.tool;
adb3f8d33838
Actions

Tags

None

Subscribers

None

Description

more informative errors, with optional exception trace as in Command_Line.tool;

Details

Provenance

Authored on

Parents

rISABELLE6a6f650cc5a2: more robust reset of CLASSPATH: unset variable means "." in certain situations…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEadb3f8d33838: more informative errors, with optional exception trace as in Command_Line.tool;.Oct 20 2022, 5:05 PM

Changes (2)

Path

Size

src/

Tools/

jEdit/

src/

jedit_main.scala

session_build.scala

rISABELLEadb3f8d33838

src/Tools/jEdit/src/jedit_main.scala

Loading...

src/Tools/jEdit/src/session_build.scala

Loading...