more uniform report of Markup.language_path;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE5a28de3388cd: omit pointless guard: ultimately observed by Isabelle_Process.report_message;
- Branches
- Unknown
- Tags
more uniform report of Markup.language_path; Tags None Subscribers None |