| Wed, 30 Jun 2021 22:14:27 +0200 | wenzelm | tuned imports; | file | diff | annotate |
| Thu, 04 Mar 2021 19:55:52 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Thu, 09 Jan 2020 13:47:08 +0100 | wenzelm | eliminated deprecated scala.collection.JavaConversions; | file | diff | annotate |
| Thu, 20 Feb 2014 14:36:17 +0100 | wenzelm | tuned imports; | file | diff | annotate |
| Sun, 25 Nov 2012 20:17:04 +0100 | wenzelm | explicit module UTF8; | file | diff | annotate |
| Wed, 07 Sep 2011 11:36:39 +0200 | wenzelm | deactivate unfinished charset provider for now, to avoid user confusion; | file | diff | annotate |
| Thu, 23 Jun 2011 10:58:29 +0200 | wenzelm | basic setup for Isabelle charset; | file | diff | annotate |