isabelle: Changelog

wenzelm [Sun, 02 Oct 2016 12:29:18 +0200] rev 63987

just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;

wenzelm [Sat, 01 Oct 2016 23:05:25 +0200] rev 63986

options for process policy, notably for multiprocessor machines;

wenzelm [Sat, 01 Oct 2016 20:59:09 +0200] rev 63985

tuned;

wenzelm [Sat, 01 Oct 2016 20:58:59 +0200] rev 63984

tuned messages -- facilitate copy-paste;

wenzelm [Sat, 01 Oct 2016 20:03:17 +0200] rev 63983

merged

wenzelm [Sat, 01 Oct 2016 19:30:21 +0200] rev 63982

tuned;

wenzelm [Sat, 01 Oct 2016 19:29:48 +0200] rev 63981

tuned proofs;

wenzelm [Sat, 01 Oct 2016 17:38:14 +0200] rev 63980

Isar proof of Schroeder_Bernstein without using Hilbert_Choice (and metis);

wenzelm [Sat, 01 Oct 2016 17:16:35 +0200] rev 63979

clarified lfp/gfp statements and proofs;

Lars Hupel <lars.hupel@mytum.de> [Sat, 01 Oct 2016 15:21:43 +0200] rev 63978

repair LaTeX

isabelle