| Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
| Thu, 07 Jul 2016 11:46:18 +0200 | wenzelm | more operations; | file | diff | annotate |
| Tue, 02 Dec 2014 17:30:53 +0100 | wenzelm | added Untyped.method convenience (for *this* class only); | file | diff | annotate |
| Tue, 02 Dec 2014 16:40:11 +0100 | wenzelm | tuned signature -- more explicit types; | file | diff | annotate |
| Tue, 14 Oct 2014 19:38:41 +0200 | wenzelm | access class hierarchy; | file | diff | annotate |
| Thu, 08 May 2014 00:12:22 +0200 | wenzelm | untyped, unscoped, unchecked access to JVM objects; | file | diff | annotate |