Sat, 27 Jun 2009 00:19:11 +0200 | wenzelm | preload CSS resources; | file | diff | annotate |
Fri, 26 Jun 2009 23:28:46 +0200 | wenzelm | more robust handling of Isabelle CSS files; | file | diff | annotate |
Sat, 27 Dec 2008 15:20:02 +0100 | wenzelm | use System.getenv temporarily; | file | diff | annotate |
Sun, 21 Dec 2008 20:36:09 +0100 | wenzelm | renamed isabelle.jedit.UserAgent to isabelle.renderer.UserAgent; | file | diff | annotate | base |