src/Pure/PIDE/markup_tree.scala
Sat, 14 Jan 2023 22:23:40 +0100 wenzelm proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;
Fri, 08 Jul 2022 20:24:05 +0200 wenzelm more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Thu, 04 Mar 2021 15:52:08 +0100 wenzelm tuned;
Thu, 04 Mar 2021 15:41:46 +0100 wenzelm tuned --- fewer warnings;
Sun, 10 Jan 2021 13:04:29 +0100 wenzelm more informative errors: simplify diagnosis of spurious failures reported by users;
Sat, 05 Dec 2020 11:49:04 +0100 wenzelm tuned;
Wed, 15 Jan 2020 19:54:50 +0100 wenzelm misc tuning, following hint by IntelliJ;
Mon, 24 Oct 2016 12:16:12 +0200 wenzelm discontinued unused / untested distinction of separate PIDE modules;
Sun, 03 May 2015 00:01:10 +0200 wenzelm misc tuning, based on warnings by IntelliJ IDEA;
Fri, 26 Sep 2014 14:29:06 +0200 wenzelm tuned message;
Tue, 12 Aug 2014 15:46:20 +0200 wenzelm tuned;
Tue, 29 Apr 2014 13:32:13 +0200 wenzelm more systematic Isabelle output, like in classic Isabelle/ML (without markup);
Sat, 26 Apr 2014 13:07:20 +0200 wenzelm tuned signature;
Sat, 29 Mar 2014 09:24:39 +0100 wenzelm tuned -- see Text.Range.overlaps(Range);
less more (0) -15 tip