# HG changeset patch
# User wenzelm
# Date 1691330471 -7200
# Node ID b2bb63d11adedcf95b23e125ae7d9cc4acfc2c8d
# Parent  ab9cf0fdb26880c10f16d86a09ff4510b1eb31d7
hints on "hg bisect";

diff -r ab9cf0fdb268 -r b2bb63d11ade README_REPOSITORY
--- a/README_REPOSITORY	Sun Aug 06 14:48:25 2023 +0200
+++ b/README_REPOSITORY	Sun Aug 06 16:01:11 2023 +0200
@@ -45,6 +45,21 @@
 
     isabelle/bin/isabelle doc system
 
+6. Find historical evidence about good or bad behaviour
+   (e.g. in Isabelle/jEdit):
+
+    cd isabelle
+    hg bisect --reset
+    Admin/init -R   #alternative: "hg up -r REV"
+
+    Admin/init && bin/isabelle jedit
+    hg bisect --good
+
+    Admin/init && bin/isabelle jedit
+    hg bisect --bad
+
+    ...
+
 
 Introduction
 ------------