Wed, 12 Mar 2014 14:17:13 +0100 | wenzelm | some document antiquotations for Isabelle/jEdit elements; | file | diff | annotate |
Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | reduced dependencies + updated docs | file | diff | annotate |
Thu, 01 Aug 2013 15:50:16 +0200 | blanchet | more (co)datatype documentation | file | diff | annotate |
Thu, 01 Aug 2013 14:22:10 +0200 | blanchet | more (co)datatype docs | file | diff | annotate |