isabelle: Changelog

boehmes [Wed, 26 Feb 2014 15:33:52 +0100] rev 55759

replaced smt-based proof with metis proof that requires no external tool

haftmann [Wed, 26 Feb 2014 11:57:55 +0100] rev 55758

obsolete workaround

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;

isabelle