changeset 77082 | 4e724a439035 |
parent 77081 | 75ebc168731c |
child 77085 | 351eee493580 |
--- a/src/Pure/Admin/other_isabelle.scala Tue Jan 24 20:05:23 2023 +0100 +++ b/src/Pure/Admin/other_isabelle.scala Tue Jan 24 20:39:11 2023 +0100 @@ -1,7 +1,8 @@ /* Title: Pure/Admin/other_isabelle.scala Author: Makarius -Manage other Isabelle distributions. +Manage other Isabelle distributions: support historic versions starting from +tag "build_history_base". */ package isabelle