Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
Tue, 02 Aug 2016 17:35:18 +0200 | wenzelm | support 'abbrevs' within theory header; | file | diff | annotate |
Mon, 01 Dec 2014 15:21:49 +0100 | wenzelm | more merge operations; | file | diff | annotate |
Sat, 26 Apr 2014 13:18:46 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Thu, 20 Feb 2014 14:36:17 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Fri, 14 Feb 2014 14:39:44 +0100 | wenzelm | more integrity checks of theory names vs. full node names; | file | diff | annotate |
Mon, 12 Aug 2013 13:30:54 +0200 | wenzelm | support for maps with multiple entries per key; | file | diff | annotate |