Changes

Summary

1. tuned;
2. clarified;
3. tuned message;
4. tuned message;
5. more accurate settings after update of current version;
6. clarified messages;
7. more robust: lest hg work out remote tip; more options;
8. more options;
9. clarified treatment of multiple versions: last one counts; more options;
10. more robust;
11. more robust: explicit repository root;
12. more robust;
13. more convenient repository setup;
14. tuned;
15. more robust invocation of hg;
16. more robust: idempotent;
17. more robust invocation of hg;
18. tuned;
19. clarified output; more options;
20. support repository archives (without full .hg directory);
21. more robust invocation of hg;
22. record official releases that follow a certain structure, with public access via https://isabelle.sketis.net/repos/isabelle/raw-file/tip/Admin/Release/official (NB: Isabelle2013-1 had to be retracted);
23. dedicated session for combinatorial material
24. support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;
25. enforce full build;
26. turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;
27. discontinue fragile check in LaTeX, e.g. problems with toc entries;
28. merged
29. merged
30. type class relaxation
31. more NEWS;
32. clarified group (but hard to tell);
33. more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd; corresponding symbols and latex macros;
34. more lemmas
35. clarified package name (actually both pxfonts and txfonts exist and have this font);
36. tuned;
37. prefer isabelle bbbfont;
38. enforce full build;
39. clarified symbol names, notably relevant for Z_Notation;
40. update README (actually after update of component);
41. high-quality blackboard-bold fonts from "txmia" (package "txfonts");

Summary

1. more robust invocation of hg;
2. Update tile to match metadata
3. Extend entry Szpilrajn
4. dedicated session for combinatorial material
5. more lemmas