/src/Pure/Tools/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2021-02-26 11:46 +0100 3168 build.ML
-rw-r--r-- 2021-02-26 11:46 +0100 25154 build.scala
-rw-r--r-- 2021-02-26 11:46 +0100 5262 build_docker.scala
-rw-r--r-- 2021-02-26 11:46 +0100 19876 build_job.scala
-rw-r--r-- 2021-02-26 11:46 +0100 1468 check_keywords.scala
-rw-r--r-- 2021-02-26 11:46 +0100 1368 class_deps.ML
-rw-r--r-- 2021-02-26 11:46 +0100 9686 debugger.ML
-rw-r--r-- 2021-02-26 11:46 +0100 8739 debugger.scala
-rw-r--r-- 2021-02-26 11:46 +0100 535 doc.ML
-rw-r--r-- 2021-02-26 11:46 +0100 3367 doc.scala
-rw-r--r-- 2021-02-26 11:46 +0100 16705 dump.scala
-rw-r--r-- 2021-02-26 11:46 +0100 5237 find_consts.ML
-rw-r--r-- 2021-02-26 11:46 +0100 18745 find_theorems.ML
-rw-r--r-- 2021-02-26 11:46 +0100 4096 fontforge.scala
-rw-r--r-- 2021-02-26 11:46 +0100 14337 generated_files.ML
-rw-r--r-- 2021-02-26 11:46 +0100 2473 ghc.ML
-rw-r--r-- 2021-02-26 11:46 +0100 4583 java_monitor.scala
-rw-r--r-- 2021-02-26 11:46 +0100 2678 jedit.ML
-rw-r--r-- 2021-02-26 11:46 +0100 4284 main.scala
-rw-r--r-- 2021-02-26 11:46 +0100 5150 mkroot.scala
-rw-r--r-- 2021-02-26 11:46 +0100 3456 named_theorems.ML
-rw-r--r-- 2021-02-26 11:46 +0100 1108 named_thms.ML
-rw-r--r-- 2021-02-26 11:46 +0100 34920 phabricator.scala
-rw-r--r-- 2021-02-26 11:46 +0100 5292 plugin.ML
-rw-r--r-- 2021-02-26 11:46 +0100 2156 print_operation.ML
-rw-r--r-- 2021-02-26 11:46 +0100 977 print_operation.scala
-rw-r--r-- 2021-02-26 11:46 +0100 1556 profiling_report.scala
-rw-r--r-- 2021-02-26 11:46 +0100 12103 rail.ML
-rw-r--r-- 2021-02-26 11:46 +0100 12119 rule_insts.ML
-rw-r--r-- 2021-02-26 11:46 +0100 5607 scala_project.scala
-rw-r--r-- 2021-02-26 11:46 +0100 18899 server.scala
-rw-r--r-- 2021-02-26 11:46 +0100 12344 server_commands.scala
-rw-r--r-- 2021-02-26 11:46 +0100 12911 simplifier_trace.ML
-rw-r--r-- 2021-02-26 11:46 +0100 10542 simplifier_trace.scala
-rw-r--r-- 2021-02-26 11:46 +0100 8316 spell_checker.scala
-rw-r--r-- 2021-02-26 11:46 +0100 1740 task_statistics.scala
-rw-r--r-- 2021-02-26 11:46 +0100 1364 thy_deps.ML
-rw-r--r-- 2021-02-26 11:46 +0100 4752 update.scala
-rw-r--r-- 2021-02-26 11:46 +0100 3292 update_cartouches.scala
-rw-r--r-- 2021-02-26 11:46 +0100 1946 update_comments.scala
-rw-r--r-- 2021-02-26 11:46 +0100 1634 update_header.scala
-rw-r--r-- 2021-02-26 11:46 +0100 1312 update_then.scala
-rw-r--r-- 2021-02-26 11:46 +0100 1459 update_theorems.scala