wenzelm [Thu, 08 May 2014 11:47:38 +0200] rev 56907
enable "PIDE" docking framework by default, and rely on its "Detach" menu item;
wenzelm [Thu, 08 May 2014 00:14:06 +0200] rev 56906
some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
wenzelm [Thu, 08 May 2014 00:12:22 +0200] rev 56905
untyped, unscoped, unchecked access to JVM objects;
desharna [Thu, 08 May 2014 11:52:46 +0200] rev 56904
Documented new property
desharna [Thu, 08 May 2014 11:52:44 +0200] rev 56903
generate 'map_ident' theorem for BNFs
wenzelm [Wed, 07 May 2014 18:09:08 +0200] rev 56902
explicit option to build library, which takes most of the time;
produce minimal index, e.g. for test web page;