HomeIsabelle/Phabricator
Diffusion Isabelle fdfe9b91d96e

misc tuning: support "scalac -source 3.3";
fdfe9b91d96e
Actions

Description

misc tuning: support "scalac -source 3.3";

Details

Provenance
makariusAuthored on
Parents
rISABELLEb1e0fb71435d: obsolete (see b4e6b82fdb9e);
Branches
Unknown
Tags
Unknown

Changes (25)

PathSize
src/
HOL/
Tools/
ATP/
Pure/
Admin/
Concurrent/
General/
PIDE/
System/
Thy/
Tools/
Tools/
Graphview/
jEdit/
src/

rISABELLEfdfe9b91d96e

View Options

src/HOL/Tools/ATP/system_on_tptp.scala

Loading...
View Options

src/Pure/Admin/build_log.scala

Loading...
View Options

src/Pure/Admin/build_release.scala

Loading...
View Options

src/Pure/Concurrent/consumer_thread.scala

Loading...
View Options

src/Pure/General/json_api.scala

Loading...
View Options

src/Pure/General/mercurial.scala

Loading...
View Options

src/Pure/General/symbol.scala

Loading...
View Options

src/Pure/PIDE/command.scala

Loading...
View Options

src/Pure/PIDE/document.scala

Loading...
View Options

src/Pure/PIDE/query_operation.scala

Loading...
View Options

src/Pure/PIDE/rendering.scala

Loading...
View Options

src/Pure/System/executable.scala

Loading...
View Options

src/Pure/System/isabelle_system.scala

Loading...
View Options

src/Pure/Thy/export.scala

Loading...
View Options

src/Pure/Thy/html.scala

Loading...
View Options

src/Pure/Tools/build.scala

Loading...
View Options

src/Pure/Tools/build_cluster.scala

Loading...
View Options

src/Pure/Tools/check_keywords.scala

Loading...
View Options

src/Pure/Tools/prismjs.scala

Loading...
View Options

src/Pure/Tools/profiling_report.scala

Loading...
View Options

src/Pure/Tools/simplifier_trace.scala

Loading...
View Options

src/Pure/Tools/spell_checker.scala

Loading...
View Options

src/Pure/Tools/task_statistics.scala

Loading...
View Options

src/Tools/Graphview/layout.scala

Loading...
View Options

src/Tools/jEdit/src/document_model.scala

Loading...