src/Pure/PIDE/command.scala
Sat, 09 Nov 2024 21:34:38 +0100 wenzelm Document.Snapshot: support for multiple snippet_commands;
Fri, 08 Nov 2024 18:39:35 +0100 wenzelm clarified signature: avoid pointless alias (see also c82a1620b274 and 22aeec526ffd);
Fri, 08 Nov 2024 18:34:33 +0100 wenzelm clarified signature;
Wed, 08 Nov 2023 12:00:29 +0100 wenzelm tuned signature;
Tue, 19 Sep 2023 19:48:54 +0200 wenzelm clarified signature;
Tue, 29 Aug 2023 12:53:28 +0200 wenzelm misc tuning: support "scalac -source 3.3";
Fri, 21 Jul 2023 17:06:53 +0200 wenzelm clarified signature: more operations;
less more (0) -100 -30 -10 -7 tip