src/Pure/PIDE/prover.scala
Sun, 29 Jun 2025 15:48:13 +0200 wenzelm tuned signature: more operations;
Wed, 12 Feb 2025 13:31:06 +0100 wenzelm tuned: fewer warnings with scalac -Wunused:all;
Fri, 05 Jul 2024 00:18:51 +0200 wenzelm more robust message header: prefer explicit props_length/props_chunks over odd YXML.embed_controls;
Mon, 01 Jul 2024 12:40:54 +0200 wenzelm clarified signature: more explicit XML.Body types, more uniform Symbol.encode_yxml;
Tue, 11 Jun 2024 21:32:26 +0200 wenzelm clarified signature: pro-forma support for Bytes with size: Long;
Sat, 11 Feb 2023 16:38:29 +0100 wenzelm clarified signature: avoid adhoc constants;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Tue, 07 Sep 2021 15:10:53 +0200 wenzelm tuned signature;
Sat, 07 Aug 2021 21:25:47 +0200 wenzelm tuned signature;
Sat, 07 Aug 2021 19:58:38 +0200 wenzelm clarified signature;
Mon, 17 May 2021 13:40:01 +0200 wenzelm clarified signature;
Sun, 16 May 2021 13:34:27 +0200 wenzelm tuned signature --- following hints by IntelliJ IDEA;
Mon, 12 Apr 2021 12:32:09 +0200 wenzelm clarified cache;
Mon, 12 Apr 2021 12:16:49 +0200 wenzelm clarified signature: Bytes extends CharSequence already (see d201996f72a8);
Mon, 12 Apr 2021 11:45:16 +0200 wenzelm clarified exceptions;
less more (0) -15 tip