isabelle: Changelog

wenzelm [Tue, 10 Jul 2007 16:45:03 +0200] rev 23700

moved source cascading from scan.ML to source.ML;

wenzelm [Tue, 10 Jul 2007 16:45:01 +0200] rev 23699

infixr || (more efficient); tuned signature; removed unused trace'; moved source cascading from scan.ML to source.ML; tuned;

wenzelm [Tue, 10 Jul 2007 16:45:00 +0200] rev 23698

moved print_mode setup for markup to markup.ML;

wenzelm [Tue, 10 Jul 2007 16:45:00 +0200] rev 23697

Markup.output;

wenzelm [Tue, 10 Jul 2007 16:44:58 +0200] rev 23696

use position.ML earlier;

aspinall [Tue, 10 Jul 2007 15:45:34 +0200] rev 23695

Add widthN to signature

wenzelm [Tue, 10 Jul 2007 13:12:53 +0200] rev 23694

cd ISABELLE_HOME/etc;

haftmann [Tue, 10 Jul 2007 09:24:43 +0200] rev 23693

adjusted

haftmann [Tue, 10 Jul 2007 09:24:14 +0200] rev 23692

updated keywords

haftmann [Tue, 10 Jul 2007 09:23:17 +0200] rev 23691

simplified, tuned

isabelle