| Sun, 07 May 2017 21:38:16 +0200 | wenzelm | more operations; | file | diff | annotate |
| Thu, 04 May 2017 12:30:19 +0200 | wenzelm | prefer standard getOrElse; | file | diff | annotate |
| Thu, 04 May 2017 12:15:50 +0200 | wenzelm | more operations; | file | diff | annotate |
| Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
| Wed, 12 Oct 2016 21:53:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 05 Sep 2016 11:43:37 +0200 | wenzelm | support resource management; | file | diff | annotate |
| Mon, 04 Apr 2016 15:35:24 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 01 Mar 2016 21:00:38 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 24 Jul 2014 15:54:56 +0200 | wenzelm | further distinction of Isabelle distribution: alert for identified release candidates; | file | diff | annotate |
| Thu, 24 Jul 2014 15:01:17 +0200 | wenzelm | clarified file names; | file | diff | annotate | base |