isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 16 Jan 2023 22:41:00 +0100 tuned;

changeset

wenzelm [Mon, 16 Jan 2023 22:41:00 +0100] rev 76997

tuned;

Mon, 16 Jan 2023 20:57:38 +0100 tuned GUI;

changeset

wenzelm [Mon, 16 Jan 2023 20:57:38 +0100] rev 76996

tuned GUI;

Mon, 16 Jan 2023 20:40:42 +0100 permissive treatment of citations before the theory header: avoid too many changes in AFP;

changeset

wenzelm [Mon, 16 Jan 2023 20:40:42 +0100] rev 76995

permissive treatment of citations before the theory header: avoid too many changes in AFP;

Mon, 16 Jan 2023 20:08:15 +0100 more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup;

changeset

wenzelm [Mon, 16 Jan 2023 20:08:15 +0100] rev 76994

more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup; more Document_Build.running_script, but display it as "Running XYZ";

Mon, 16 Jan 2023 13:48:03 +0100 clarified documentation: avoid odd speculations about PIDE;

changeset

wenzelm [Mon, 16 Jan 2023 13:48:03 +0100] rev 76993

clarified documentation: avoid odd speculations about PIDE;

Sun, 15 Jan 2023 20:38:27 +0100 tuned;

changeset

wenzelm [Sun, 15 Jan 2023 20:38:27 +0100] rev 76992

tuned;

Sun, 15 Jan 2023 20:20:59 +0100 clarified modules;

changeset

wenzelm [Sun, 15 Jan 2023 20:20:59 +0100] rev 76991

clarified modules;

Sun, 15 Jan 2023 20:00:44 +0100 merged

changeset

wenzelm [Sun, 15 Jan 2023 20:00:44 +0100] rev 76990

merged

Sun, 15 Jan 2023 20:00:37 +0100 more complete Bibtex database;

changeset

wenzelm [Sun, 15 Jan 2023 20:00:37 +0100] rev 76989

more complete Bibtex database;

Sun, 15 Jan 2023 20:00:22 +0100 proper theory context for formal citations;

changeset

wenzelm [Sun, 15 Jan 2023 20:00:22 +0100] rev 76988

proper theory context for formal citations;

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip

isabelle

RSS Atom