Sat, 06 Jul 2013 22:16:55 +0200 | wenzelm | eliminated pointless catch of unlikely exceptions, which may occur in Doc.contents already; | file | diff | annotate |
Sat, 06 Jul 2013 22:11:18 +0200 | wenzelm | more release notes according to availability in proper release vs. repository clone; | file | diff | annotate |
Sat, 06 Jul 2013 21:51:35 +0200 | wenzelm | quick access to release notes (imitating website/documentation.html); | file | diff | annotate |
Tue, 25 Jun 2013 19:13:37 +0200 | wenzelm | more robust Doc.view invocation: avoid executing process on GUI thread, but show errors as dialog; | file | diff | annotate |
Tue, 25 Jun 2013 16:55:10 +0200 | wenzelm | dockable window for Isabelle documentation; | file | diff | annotate |