src/Doc/JEdit/Base.thy
Sat, 21 Sep 2013 13:05:54 +0200 wenzelm basic setup for Isabelle/jEdit documentation;
less more (0) tip