isabelle: Changelog

haftmann [Wed, 26 Feb 2014 11:57:52 +0100] rev 55757

prefer proof context over background theory

traytel [Wed, 26 Feb 2014 10:10:38 +0100] rev 55756

made tactics more robust

wenzelm [Tue, 25 Feb 2014 23:14:51 +0100] rev 55755

merged

wenzelm [Tue, 25 Feb 2014 23:12:48 +0100] rev 55754

tuned specifications and proofs;

wenzelm [Tue, 25 Feb 2014 22:54:21 +0100] rev 55753

merged

wenzelm [Tue, 25 Feb 2014 22:13:57 +0100] rev 55752

uniform insert vs. popup policy;

wenzelm [Tue, 25 Feb 2014 21:58:46 +0100] rev 55751

tuned proofs;

wenzelm [Tue, 25 Feb 2014 21:32:26 +0100] rev 55750

back to Markup.command for actual tokens (amending 4a4e5686e091) -- avoid conflict of jEdit token marker with Rendering.text_colors;

wenzelm [Tue, 25 Feb 2014 20:57:57 +0100] rev 55749

tuned signature;

wenzelm [Tue, 25 Feb 2014 20:46:09 +0100] rev 55748

no word completion within word context;

isabelle