src/Tools/jEdit/src/renderer/UserAgent.scala
2009-06-27 wenzelm 2009-06-27 preload CSS resources;
2009-06-26 wenzelm 2009-06-26 more robust handling of Isabelle CSS files;
2008-12-27 wenzelm 2008-12-27 use System.getenv temporarily;
2008-12-21 wenzelm 2008-12-21 renamed isabelle.jedit.UserAgent to isabelle.renderer.UserAgent;