Mon, 30 May 2022 11:34:25 +0200 preserve jars for quick testing;
wenzelm [Mon, 30 May 2022 11:34:25 +0200] rev 75492
preserve jars for quick testing;
Mon, 30 May 2022 11:02:13 +0200 tuned names;
wenzelm [Mon, 30 May 2022 11:02:13 +0200] rev 75491
tuned names;
Mon, 30 May 2022 10:56:51 +0200 clarified documentation: $ISABELLE_HOME is not a repository for regular releases;
wenzelm [Mon, 30 May 2022 10:56:51 +0200] rev 75490
clarified documentation: $ISABELLE_HOME is not a repository for regular releases;
Mon, 30 May 2022 10:52:00 +0200 clarified command-line options;
wenzelm [Mon, 30 May 2022 10:52:00 +0200] rev 75489
clarified command-line options;
Mon, 30 May 2022 10:51:04 +0200 proper anchored pattern;
wenzelm [Mon, 30 May 2022 10:51:04 +0200] rev 75488
proper anchored pattern;
Mon, 30 May 2022 10:31:56 +0200 support thorough check of file content;
wenzelm [Mon, 30 May 2022 10:31:56 +0200] rev 75487
support thorough check of file content;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip