isabelle: Changelog

wenzelm [Wed, 20 May 1998 18:56:36 +0200] rev 4951

added is_stale;

wenzelm [Wed, 20 May 1998 18:56:00 +0200] rev 4950

tuned signature; added pretty_theory;

wenzelm [Wed, 20 May 1998 18:55:41 +0200] rev 4949

tuned comments;

wenzelm [Wed, 20 May 1998 18:55:16 +0200] rev 4948

tuned;

nipkow [Wed, 20 May 1998 15:20:28 +0200] rev 4947

Small mods.

wenzelm [Tue, 19 May 1998 17:16:18 +0200] rev 4946

prompt made part of source;

wenzelm [Tue, 19 May 1998 17:15:30 +0200] rev 4945

fixed handle_error: cat_lines;

wenzelm [Tue, 19 May 1998 17:15:04 +0200] rev 4944

added Thy/position.ML;

wenzelm [Tue, 19 May 1998 17:14:28 +0200] rev 4943

added source: string -> (string, string list) Source.source;

wenzelm [Tue, 19 May 1998 17:14:01 +0200] rev 4942

Input positions.

isabelle