2015-05-28 paulson 2015-05-28 Convex hulls: theorems about interior, etc. And a few simple lemmas.
2015-05-28 blanchet 2015-05-28 made Auto Sledgehammer behave more like the real thing
2015-05-28 blanchet 2015-05-28 took out Sledgehammer minimizer optimization that breaks things
2015-05-28 kleing 2015-05-28 modernized (slightly) type compiler in MicroJava
2015-05-26 paulson 2015-05-26 New material about paths, and some lemmas
2015-05-25 wenzelm 2015-05-25 removed obsolete RC tags;
2015-05-25 wenzelm 2015-05-25 merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
2015-05-25 wenzelm 2015-05-25 Added tag Isabelle2015 for changeset 5ae2a2e74c93
2015-05-23 wenzelm 2015-05-23 clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature; Isabelle2015
2015-05-22 wenzelm 2015-05-22 updated Eisbach manual, using version 3149f9146eb5 of its Bitbucket repository;
2015-05-22 wenzelm 2015-05-22 tuned;
2015-05-22 wenzelm 2015-05-22 tuned;
2015-05-21 wenzelm 2015-05-21 updated versions;
2015-05-21 wenzelm 2015-05-21 tuned;
2015-05-21 wenzelm 2015-05-21 tuned;
2015-05-20 wenzelm 2015-05-20 cell-specific row height based on its font, e.g. relevant for DPI scaling on Windows;
2015-05-19 wenzelm 2015-05-19 more on displays with very high resolution;
2015-05-18 Lars Noschinski 2015-05-18 add Haskabelle-2015 component
2015-05-17 wenzelm 2015-05-17 Added tag Isabelle2015-RC5 for changeset d7f636331176
2015-05-17 wenzelm 2015-05-17 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;
2015-05-17 wenzelm 2015-05-17 updated Eisbach, using version 134bc592909c of its Bitbucket repository;
2015-05-17 wenzelm 2015-05-17 tuned;
2015-05-16 wenzelm 2015-05-16 updated Eisbach, using version 4863020a8fe9 of its Bitbucket repository;
2015-05-13 wenzelm 2015-05-13 clarified alias: proper update of new accesses instead of conservative insert (via merge), otherwise "local.foo" could take precedence over "foo";
2015-05-13 wenzelm 2015-05-13 tuned whitespace;
2015-05-13 wenzelm 2015-05-13 more permissive operation: allow to print undeclared name space entries, e.g. print_simpset with "record" simproc;
2015-05-09 wenzelm 2015-05-09 Added tag Isabelle2015-RC4 for changeset 05fe9bdc4f8f
2015-05-09 blanchet 2015-05-09 new CVC4 component
2015-05-09 blanchet 2015-05-09 took out unreliable 'blast' from tactic altogether
2015-05-08 wenzelm 2015-05-08 clarified tooltip;
2015-05-08 wenzelm 2015-05-08 sledgehammer panel operation re-uses more of the Isar command, notably Try0.silence_methods to avoid spurious warnings intruding the document view;
2015-05-08 wenzelm 2015-05-08 more standard command setup;
2015-05-08 wenzelm 2015-05-08 silence local Unify.trace_bound as well: existing tools either refer to Proof.context or theory;
2015-05-08 wenzelm 2015-05-08 more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties); clarified Isabelle.buffer_token_marker;
2015-05-07 wenzelm 2015-05-07 use display_graph_old for locale_deps, to show a bit more than nothing for cyclic graphs;
2015-05-07 wenzelm 2015-05-07 no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch;
2015-05-06 wenzelm 2015-05-06 updated screenshot;
2015-05-06 wenzelm 2015-05-06 tuned;
2015-05-06 wenzelm 2015-05-06 less confusing default;
2015-05-06 wenzelm 2015-05-06 proper bib entry;
2015-05-06 wenzelm 2015-05-06 prevent incoherent default in SideKick 1.7;
2015-05-06 blanchet 2015-05-06 corrected path in doc
2015-05-05 wenzelm 2015-05-05 tuned;
2015-05-05 wenzelm 2015-05-05 more documentation;
2015-05-05 wenzelm 2015-05-05 more portable mkdirs via perl, e.g. relevant for Windows UNC paths (network shares);
2015-05-04 wenzelm 2015-05-04 Added tag Isabelle2015-RC3 for changeset e0c3e11e9bea
2015-05-04 wenzelm 2015-05-04 tuned;
2015-05-04 kuncar 2015-05-04 CONTRIBUTORS
2015-05-04 kuncar 2015-05-04 update isar-ref on Lifting
2015-05-04 kuncar 2015-05-04 NEWS
2015-05-04 wenzelm 2015-05-04 tuned;
2015-05-04 wenzelm 2015-05-04 more on GTK;
2015-05-04 wenzelm 2015-05-04 more on Isabelle document preparation and bibtex files;
2015-05-04 wenzelm 2015-05-04 tuned spelling;
2015-05-03 wenzelm 2015-05-03 updated screenshot;
2015-05-03 blanchet 2015-05-03 improved one-line preplaying (don't rely on 'using x by simp' to mean 'by (simp add: x)' and beware of inaccessible '(local.)this')
2015-05-03 blanchet 2015-05-03 made split-rule tactic go beyond constructors with 20 arguments
2015-05-03 wenzelm 2015-05-03 proper fold painter according to jEdit options, not the hardwired default of JEditEmbeddedTextArea;
2015-05-03 wenzelm 2015-05-03 tuned output to resemble input syntax more closely;
2015-05-03 wenzelm 2015-05-03 updated Eisbach, using version fb741500f533 of its Bitbucket repository;