isabelle: File revisions

src/Tools/jEdit/src/documentation_dockable.scala

Fri, 06 Dec 2013 23:34:14 +0100	wenzelm	no keyboard control -- avoid confusion about meaning of selection;	file \| diff \| annotate
Fri, 06 Dec 2013 23:25:38 +0100	wenzelm	directly react on click, assuming that document view operation is mostly idempotent;	file \| diff \| annotate
Sat, 24 Aug 2013 13:32:51 +0200	wenzelm	more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;	file \| diff \| annotate
Mon, 12 Aug 2013 17:11:27 +0200	wenzelm	manage hyperlinks via PIDE editor interface;	file \| diff \| annotate
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

isabelle