src/Pure/General/multi_map.scala
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Thu, 04 Mar 2021 15:59:28 +0100 wenzelm tuned --- fewer warnings;
Thu, 04 Mar 2021 15:49:15 +0100 wenzelm tuned --- fewer warnings;
Thu, 04 Mar 2021 15:41:46 +0100 wenzelm tuned --- fewer warnings;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Sat, 16 Jan 2021 22:52:43 +0100 wenzelm updated to scala-2.13.4;
Fri, 27 Mar 2020 22:01:27 +0100 wenzelm misc tuning based on hints by IntelliJ IDEA;
Mon, 24 Oct 2016 12:16:12 +0200 wenzelm discontinued unused / untested distinction of separate PIDE modules;
Tue, 02 Aug 2016 17:35:18 +0200 wenzelm support 'abbrevs' within theory header;
Mon, 01 Dec 2014 15:21:49 +0100 wenzelm more merge operations;
Sat, 26 Apr 2014 13:18:46 +0200 wenzelm tuned headers;
Thu, 20 Feb 2014 14:36:17 +0100 wenzelm tuned imports;
Fri, 14 Feb 2014 14:39:44 +0100 wenzelm more integrity checks of theory names vs. full node names;
Mon, 12 Aug 2013 13:30:54 +0200 wenzelm support for maps with multiple entries per key;
less more (0) tip