isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 07 Jul 2007 00:17:10 +0200 Common markup elements.

changeset

wenzelm [Sat, 07 Jul 2007 00:17:10 +0200] rev 23623

Common markup elements.

Sat, 07 Jul 2007 00:15:03 +0200 simplified pretty token metric: type int;

changeset

wenzelm [Sat, 07 Jul 2007 00:15:03 +0200] rev 23622

simplified pretty token metric: type int; added command markup; token translations: proper treatment of skolems; separate print_mode setup for Output/Pretty;

Sat, 07 Jul 2007 00:15:02 +0200 simplified pretty token metric: type int;

changeset

wenzelm [Sat, 07 Jul 2007 00:15:02 +0200] rev 23621

simplified pretty token metric: type int; separate print_mode setup for Output/Pretty;

Sat, 07 Jul 2007 00:15:02 +0200 moved General/xml.ML to Tools/xml.ML;

changeset

wenzelm [Sat, 07 Jul 2007 00:15:02 +0200] rev 23620

moved General/xml.ML to Tools/xml.ML; actually use pgml.ML;

Sat, 07 Jul 2007 00:15:00 +0200 tuned;

changeset

wenzelm [Sat, 07 Jul 2007 00:15:00 +0200] rev 23619

tuned;

Sat, 07 Jul 2007 00:14:59 +0200 simplified output mode setup;

changeset

wenzelm [Sat, 07 Jul 2007 00:14:59 +0200] rev 23618

simplified output mode setup; removed unused symbol_output; tuned;

Sat, 07 Jul 2007 00:14:58 +0200 added print_mode setup: indent and markup;

changeset

wenzelm [Sat, 07 Jul 2007 00:14:58 +0200] rev 23617

added print_mode setup: indent and markup; simplified pretty token metric: type int; added general markup for blocks; removed unused writelns;

Sat, 07 Jul 2007 00:14:57 +0200 renamed raw to escape;

changeset

wenzelm [Sat, 07 Jul 2007 00:14:57 +0200] rev 23616

renamed raw to escape; simplified pretty token metric: type int; simplified print_mode setup: output_width and escape; moved pretty setup to pretty.ML;

Sat, 07 Jul 2007 00:14:56 +0200 simplified pretty token metric: type int;

changeset

wenzelm [Sat, 07 Jul 2007 00:14:56 +0200] rev 23615

simplified pretty token metric: type int;

Sat, 07 Jul 2007 00:14:54 +0200 moved General/xml.ML to Tools/xml.ML;

changeset

wenzelm [Sat, 07 Jul 2007 00:14:54 +0200] rev 23614

moved General/xml.ML to Tools/xml.ML;

Sat, 07 Jul 2007 00:14:52 +0200 added General/markup.ML;

changeset

wenzelm [Sat, 07 Jul 2007 00:14:52 +0200] rev 23613

added General/markup.ML; moved General/xml.ML to Tools/xml.ML;