eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
eliminated "isabelle news";
roper title in NEWS.html;
more robust build of documentation, using proper Other_Isabelle settings: avoid conflict with enclosing ISABELLE_OCAML / ISABELLE_GHC;
misc tuning and clarification;
(* Title: HOL/Nitpick_Examples/Tests_Nits.thy
Author: Jasmin Blanchette, TU Muenchen
Copyright 2009-2011
Nitpick tests.
*)
section \<open>Nitpick Tests\<close>
theory Tests_Nits
imports Main
begin
ML \<open>() |> getenv "KODKODI" <> "" ? Nitpick_Tests.run_all_tests\<close>
end