isabelle: Changelog

wenzelm [Tue, 25 Sep 2012 16:55:32 +0200] rev 49563

more complete build; added option -c to imitate old browser;

wenzelm [Tue, 25 Sep 2012 16:48:33 +0200] rev 49562

proper error message;

wenzelm [Tue, 25 Sep 2012 15:40:41 +0200] rev 49561

separate module Graph_Display; tuned signature;

wenzelm [Tue, 25 Sep 2012 14:32:41 +0200] rev 49560

added graph encode/decode operations; tuned signature;

wenzelm [Tue, 25 Sep 2012 12:17:58 +0200] rev 49559

tuned;

wenzelm [Mon, 24 Sep 2012 21:16:33 +0200] rev 49558

minimal component and build setup for graphview;

Markus Kaiser <markus.kaiser@in.tum.de> [Mon, 24 Sep 2012 20:22:58 +0200] rev 49557

added Graphview tool, based on Isabelle/Scala and Swing/Graphics2D;

haftmann [Mon, 24 Sep 2012 19:11:35 +0200] rev 49556

made smlnj even happier

wenzelm [Mon, 24 Sep 2012 17:52:44 +0200] rev 49555

tuned proofs;

wenzelm [Mon, 24 Sep 2012 17:28:36 +0200] rev 49554

more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;

isabelle