isabelle: Changelog

wenzelm [Wed, 25 Oct 2017 14:36:29 +0200] rev 66917

clarified check, assuming that load commands are plain ASCII;

wenzelm [Wed, 25 Oct 2017 13:47:53 +0200] rev 66916

more documentation;

wenzelm [Wed, 25 Oct 2017 11:40:58 +0200] rev 66915

disallow blanks, relevant for session_name / theory_name e.g. in build log files;

wenzelm [Wed, 25 Oct 2017 11:35:48 +0200] rev 66914

uniform system name;

wenzelm [Tue, 24 Oct 2017 21:20:55 +0200] rev 66913

store session sources stamp;

immler [Tue, 24 Oct 2017 18:48:21 +0200] rev 66912

generalized lemmas cancelling real_of_int/real in (in)equalities with power; completed set of related simp rules; lemmas about floorlog/bitlen

wenzelm [Tue, 24 Oct 2017 10:59:15 +0200] rev 66911

misc tuning and modernization;

wenzelm [Tue, 24 Oct 2017 10:43:23 +0200] rev 66910

tuned output;

wenzelm [Mon, 23 Oct 2017 20:56:59 +0200] rev 66909

discontinued Linux 32bit platform support;

wenzelm [Mon, 23 Oct 2017 20:43:04 +0200] rev 66908

obsolete;

isabelle