/src/Pure/Tools/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2025-07-04 15:08 +0100 8751 adhoc_overloading.ML
-rw-r--r-- 2025-07-04 15:08 +0100 7048 caddy_setup.scala
-rw-r--r-- 2025-07-04 15:08 +0100 3083 check_keywords.scala
-rw-r--r-- 2025-07-04 15:08 +0100 1368 class_deps.ML
-rw-r--r-- 2025-07-04 15:08 +0100 9715 debugger.ML
-rw-r--r-- 2025-07-04 15:08 +0100 8853 debugger.scala
-rw-r--r-- 2025-07-04 15:08 +0100 613 doc.ML
-rw-r--r-- 2025-07-04 15:08 +0100 4899 doc.scala
-rw-r--r-- 2025-07-04 15:08 +0100 6179 docker_build.scala
-rw-r--r-- 2025-07-04 15:08 +0100 6848 dotnet_setup.scala
-rw-r--r-- 2025-07-04 15:08 +0100 15529 dump.scala
-rw-r--r-- 2025-07-04 15:08 +0100 5193 find_consts.ML
-rw-r--r-- 2025-07-04 15:08 +0100 18414 find_theorems.ML
-rw-r--r-- 2025-07-04 15:08 +0100 726 flarum.scala
-rw-r--r-- 2025-07-04 15:08 +0100 4054 fontforge.scala
-rw-r--r-- 2025-07-04 15:08 +0100 16577 generated_files.ML
-rw-r--r-- 2025-07-04 15:08 +0100 2472 ghc.ML
-rw-r--r-- 2025-07-04 15:08 +0100 6004 go_setup.scala
-rw-r--r-- 2025-07-04 15:08 +0100 5781 java_monitor.scala
-rw-r--r-- 2025-07-04 15:08 +0100 2358 jedit.ML
-rw-r--r-- 2025-07-04 15:08 +0100 1755 logo.scala
-rw-r--r-- 2025-07-04 15:08 +0100 5625 mkroot.scala
-rw-r--r-- 2025-07-04 15:08 +0100 3429 named_theorems.ML
-rw-r--r-- 2025-07-04 15:08 +0100 1177 named_thms.ML
-rw-r--r-- 2025-07-04 15:08 +0100 37943 phabricator.scala
-rw-r--r-- 2025-07-04 15:08 +0100 5217 plugin.ML
-rw-r--r-- 2025-07-04 15:08 +0100 2227 print_operation.ML
-rw-r--r-- 2025-07-04 15:08 +0100 999 print_operation.scala
-rw-r--r-- 2025-07-04 15:08 +0100 2301 prismjs.ML
-rw-r--r-- 2025-07-04 15:08 +0100 4549 prismjs.scala
-rw-r--r-- 2025-07-04 15:08 +0100 13331 profiling.scala
-rw-r--r-- 2025-07-04 15:08 +0100 2556 profiling_report.scala
-rw-r--r-- 2025-07-04 15:08 +0100 13387 rail.ML
-rw-r--r-- 2025-07-04 15:08 +0100 12801 rule_insts.ML
-rw-r--r-- 2025-07-04 15:08 +0100 4025 scala_build.scala
-rw-r--r-- 2025-07-04 15:08 +0100 9214 scala_project.scala
-rw-r--r-- 2025-07-04 15:08 +0100 19852 server.scala
-rw-r--r-- 2025-07-04 15:08 +0100 12372 server_commands.scala
-rw-r--r-- 2025-07-04 15:08 +0100 13246 simplifier_trace.ML
-rw-r--r-- 2025-07-04 15:08 +0100 10578 simplifier_trace.scala
-rw-r--r-- 2025-07-04 15:08 +0100 8461 spell_checker.scala
-rw-r--r-- 2025-07-04 15:08 +0100 6840 sync.scala
-rw-r--r-- 2025-07-04 15:08 +0100 1746 task_statistics.scala
-rw-r--r-- 2025-07-04 15:08 +0100 1378 thy_deps.ML
-rw-r--r-- 2025-07-04 15:08 +0100 3021 update_cartouches.scala
-rw-r--r-- 2025-07-04 15:08 +0100 1966 update_comments.scala
-rw-r--r-- 2025-07-04 15:08 +0100 1334 update_then.scala
-rw-r--r-- 2025-07-04 15:08 +0100 1479 update_theorems.scala
-rw-r--r-- 2025-07-04 15:08 +0100 8904 update_tool.scala