isabelle: Changelog

haftmann [Tue, 16 Apr 2019 19:50:19 +0000] rev 70174

entry point for comprehensive word library

haftmann [Tue, 16 Apr 2019 19:50:18 +0000] rev 70173

tuned theory names

haftmann [Tue, 16 Apr 2019 19:50:09 +0000] rev 70172

integrated Bit_Comparison into Word corpus

haftmann [Tue, 16 Apr 2019 19:50:07 +0000] rev 70171

tuned

haftmann [Tue, 16 Apr 2019 19:50:05 +0000] rev 70170

prefer one theory for misc material

haftmann [Tue, 16 Apr 2019 19:50:03 +0000] rev 70169

moved instance to appropriate place

wenzelm [Tue, 16 Apr 2019 20:00:14 +0200] rev 70168

tuned for release;

wenzelm [Tue, 16 Apr 2019 19:42:56 +0200] rev 70167

clarified goto_file (again): treat bad entry as plain file to open empty buffer instead of error (amending a8142ac5e4b6);

wenzelm [Sun, 14 Apr 2019 18:13:46 +0200] rev 70166

afford more examples;

wenzelm [Sun, 14 Apr 2019 17:37:05 +0200] rev 70165

obsolete -- this is quite fast;

isabelle