Thu, 07 Nov 2013 13:34:04 +0100 | wenzelm | misc tuning; | file | diff | annotate |
Sun, 18 Aug 2013 13:58:33 +0200 | wenzelm | more markup; | file | diff | annotate |
Fri, 16 Aug 2013 22:57:16 +0200 | wenzelm | check_tool wrt. official ISABELLE_TOOLS; | file | diff | annotate |
Fri, 16 Aug 2013 22:39:31 +0200 | wenzelm | more markup via Name_Space.check; | file | diff | annotate |
Sat, 15 Jun 2013 21:01:07 +0200 | wenzelm | updated operations on proof terms; | file | diff | annotate |
Mon, 26 Nov 2012 21:46:04 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 25 Nov 2012 19:49:24 +0100 | wenzelm | Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d; | file | diff | annotate |
Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |