isabelle: Changelog

haftmann [Wed, 21 Mar 2018 20:17:25 +0100] rev 67909

proof of concept for algebraically founded bit lists

haftmann [Wed, 21 Mar 2018 19:39:24 +0100] rev 67908

tuned proof

haftmann [Wed, 21 Mar 2018 19:39:23 +0100] rev 67907

prefer convention to place operation name before type name

haftmann [Tue, 20 Mar 2018 09:27:40 +0000] rev 67906

more lemmas

haftmann [Tue, 20 Mar 2018 09:27:39 +0000] rev 67905

generalized

wenzelm [Mon, 19 Mar 2018 19:24:45 +0100] rev 67904

documentation for the Isabelle server;

wenzelm [Mon, 19 Mar 2018 18:13:37 +0100] rev 67903

clarified message name: disallow single quote;

wenzelm [Sun, 18 Mar 2018 12:26:30 +0100] rev 67902

clarified server shutdown: stop all sessions;

wenzelm [Sun, 18 Mar 2018 12:11:30 +0100] rev 67901

more explicit error messages; clarified signature;

wenzelm [Sun, 18 Mar 2018 11:42:57 +0100] rev 67900

more explicit errors; tuned;

isabelle