changeset 72861 | 3f5e6da08687 |
parent 72842 | 6aae62f55c2b |
child 72902 | 3c09adb4b042 |
--- a/src/Pure/PIDE/markup.scala Wed Dec 09 20:33:02 2020 +0100 +++ b/src/Pure/PIDE/markup.scala Wed Dec 09 22:07:14 2020 +0100 @@ -612,7 +612,6 @@ object Task_Statistics extends Properties_Function("task_statistics") object Loading_Theory extends Properties_Function("loading_theory") - object Finished_Theory extends Name_Function("finished_theory") object Build_Session_Finished extends Function("build_session_finished") object Commands_Accepted extends Function("commands_accepted")