# HG changeset patch
# User wenzelm
# Date 1674589151 -3600
# Node ID 4e724a439035dcd141a374eb043d80798e8cba04
# Parent  75ebc168731c812a825f28e70037bf6dc011f756
tuned comments;

diff -r 75ebc168731c -r 4e724a439035 src/Pure/Admin/other_isabelle.scala
--- 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