isabelle: Changelog

schirmer [Thu, 17 Jun 2004 14:24:43 +0200] rev 14959

tuned

wenzelm [Wed, 16 Jun 2004 20:42:22 +0200] rev 14958

isatool_document: writeln output;

wenzelm [Wed, 16 Jun 2004 20:37:29 +0200] rev 14957

tuned document;

wenzelm [Wed, 16 Jun 2004 20:37:14 +0200] rev 14956

prevent looping of error messages involving malformed symbols;

wenzelm [Wed, 16 Jun 2004 20:37:00 +0200] rev 14955

tuned;

wenzelm [Wed, 16 Jun 2004 20:36:43 +0200] rev 14954

removed unused help function;

paulson [Wed, 16 Jun 2004 14:56:58 +0200] rev 14953

new fib example

paulson [Wed, 16 Jun 2004 14:56:39 +0200] rev 14952

removal of x-symbol syntax <Sigma> for dependent products

wenzelm [Tue, 15 Jun 2004 13:24:19 +0200] rev 14951

ISABELLE_TMP

wenzelm [Tue, 15 Jun 2004 13:24:02 +0200] rev 14950

path instead of string;

isabelle