isabelle: Changelog

wenzelm [Wed, 25 Nov 1998 13:59:06 +0100] rev 5957

tuned space;

wenzelm [Wed, 25 Nov 1998 13:57:44 +0100] rev 5956

replaced prs by writeln;

wenzelm [Wed, 25 Nov 1998 13:57:17 +0100] rev 5955

removed redirect_to_latex stuff;

wenzelm [Tue, 24 Nov 1998 12:03:56 +0100] rev 5954

Isar.main();

wenzelm [Tue, 24 Nov 1998 12:03:09 +0100] rev 5953

setup Blast.setup; setup Clasimp.setup;

wenzelm [Tue, 24 Nov 1998 12:00:05 +0100] rev 5952

added commands;

wenzelm [Tue, 24 Nov 1998 11:59:50 +0100] rev 5951

added isar.ML;

wenzelm [Tue, 24 Nov 1998 11:59:35 +0100] rev 5950

Isabelle/Isar main interface.

wenzelm [Tue, 24 Nov 1998 11:59:15 +0100] rev 5949

fixed prefix_lines: *separate* by \n;

wenzelm [Tue, 24 Nov 1998 11:58:38 +0100] rev 5948

added Isar/isar.ML;

isabelle