- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Mar 27 2021
Mar 27 2021
more robust invocation of hg;
more robust invocation of hg;
makarius committed rISABELLE0e880b793db1: support repository archives (without full .hg directory);.
support repository archives (without full .hg directory);
makarius committed rISABELLE1be70e3de751: record official releases that follow a certain structure, with public access….
record official releases that follow a certain structure, with public access…
Mar 24 2021
Mar 24 2021
makarius committed rISABELLE6b480efe1bc3: support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;.
support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;
Mar 23 2021
Mar 23 2021
enforce full build;
makarius committed rISABELLE4e12a6caefb3: turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;.
turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;
makarius committed rISABELLE2cc9bd9a7357: discontinue fragile check in LaTeX, e.g. problems with toc entries;.
discontinue fragile check in LaTeX, e.g. problems with toc entries;
Mar 22 2021
Mar 22 2021
clarified group (but hard to tell);
makarius committed rISABELLE090add96f5f9: more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb….
more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb…
makarius committed rISABELLE1e5c1f8a35cd: clarified package name (actually both pxfonts and txfonts exist and have this….
clarified package name (actually both pxfonts and txfonts exist and have this…
Mar 21 2021
Mar 21 2021
prefer isabelle bbbfont;
enforce full build;
clarified symbol names, notably relevant for Z_Notation;
makarius committed rISABELLE1f1f4462a6ae: high-quality blackboard-bold fonts from "txmia" (package "txfonts");.
high-quality blackboard-bold fonts from "txmia" (package "txfonts");
update README (actually after update of component);
Mar 19 2021
Mar 19 2021
publish component;
makarius committed rISABELLE3ede182a479a: further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F….
further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F…
clarified \<Zcomp> (small) vs. \<Zsemi> (big);
more Z_Notation symbols, as proposed by Simon Foster;
Mar 18 2021
Mar 18 2021
makarius committed rISABELLE519ce76a602f: more accurate glyphs 0x25C1 / 0x25B7, based on 0x2A64 / 0x2A65 minus the….
more accurate glyphs 0x25C1 / 0x25B7, based on 0x2A64 / 0x2A65 minus the…
clarified order for GUI panel;
more Z_Notation symbols, as proposed by Simon Foster;
makarius committed rISABELLE7ca886bf7156: more accurate spacing, according to results seen in isar-ref (Appendix B)….
more accurate spacing, according to results seen in isar-ref (Appendix B)…
makarius committed rISABELLE76a061b67993: clarified order for presentation in isar-ref (Appendix B);.
clarified order for presentation in isar-ref (Appendix B);
makarius committed rISABELLE2200a19cac72: prefer explicit \<Zproject> (with its own Unicode codepoint);.
prefer explicit \<Zproject> (with its own Unicode codepoint);
Mar 17 2021
Mar 17 2021
makarius committed rISABELLEd1c4c2395650: more Isabelle symbol definitions for Z Notation, based on https://github..
more Isabelle symbol definitions for Z Notation, based on https://github.
proper directory of settings file;
Mar 15 2021
Mar 15 2021
tuned signature (again);
Mar 14 2021
Mar 14 2021
tuned --- following hints by IntelliJ;
proper shell quote;
removed spurious references to perl / libwww-perl;
makarius committed rISABELLE1cc848548f21: invoke remote ATP via SystemOnTPTP.run_systems from Isabelle/Scala (without….
invoke remote ATP via SystemOnTPTP.run_systems from Isabelle/Scala (without…
makarius committed rISABELLE00b77365552e: clarified signature: refer to file name instead of file content;.
clarified signature: refer to file name instead of file content;
clarified signature: more explicit types;
makarius committed rISABELLEf27d7b12e8a4: support for SystemOnTPTP.run_system, with strict error following….
support for SystemOnTPTP.run_system, with strict error following…
makarius committed rISABELLE8970081c6500: elapsed time to download content (and for the server to provide content);.
elapsed time to download content (and for the server to provide content);
clarified signature;
Mar 13 2021
Mar 13 2021
makarius committed rISABELLE9d1b5c0bdec8: more direct elapsed run_time via bash_process wrapper (via Scala and C);.
more direct elapsed run_time via bash_process wrapper (via Scala and C);
makarius committed rISABELLEbd8bce50b9d4: use SystemOnTPTP.list_systems from Isabelle/Scala, with dynamic URL option and….
use SystemOnTPTP.list_systems from Isabelle/Scala, with dynamic URL option and…
makarius committed rISABELLE2b657a70116c: clarified signature: url may change dynamically and is part of result;.
clarified signature: url may change dynamically and is part of result;
makarius committed rISABELLEd0f529d5c5c9: clarified signature: let Sledgehammer handle SystemOnTPTP comments;.
clarified signature: let Sledgehammer handle SystemOnTPTP comments;
clarified signature;
support timeout, similar to perl LWP::UserAgent;
makarius committed rISABELLE7d7d959547a1: support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl);.
support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl);
makarius committed rISABELLE22f3f2117ed7: clarified signature: function_thread is determined in Isabelle/Scala, not….
clarified signature: function_thread is determined in Isabelle/Scala, not…
clarified HTTP.Content: support encoding;
clarified signature: more explicit HTTP operations;
clarified signature;
clarified components;
Mar 11 2021
Mar 11 2021
Mar 10 2021
Mar 10 2021
adapted to LuaLaTeX according to Isabelle/299f6a8faccc;
more robust init: avoid spilling opam artifacts;
proper \usepackage[T1]{fontenc};
proper type-setting of cartouches (requires T1);
makarius committed rISABELLEe19cb4c11409: provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04;.
provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04;
obsolete (see 0c837beeb5e7);
removed unused latex packages;
proper Isabelle/Scala tool --- avoid perl;
Mar 5 2021
Mar 5 2021
obsolete (see f3378101f555);
makarius committed rISABELLEa40e69fde2b4: clarified smt: support Timeout.ignored and Timeout.scale_time;.
clarified smt: support Timeout.ignored and Timeout.scale_time;
more direct unlimited smt_timeout;
clarified timeouts in Isabelle/ML;
tuned --- more elementary Time operations;
makarius committed rISABELLE1892708fd148: removed unused/pointless operation: Time.start is the load/init time of this….
removed unused/pointless operation: Time.start is the load/init time of this…
clarified signature --- augment existing structure Time;
rebuild SMT certificates from scratch;
Mar 4 2021
Mar 4 2021
clarified compiler options: show relevant warnings;
makarius committed rISABELLE70c801965fec: enforce full build, after significant changes in Isabelle/Scala;.
enforce full build, after significant changes in Isabelle/Scala;
clarified signature --- fewer warnings;
clarified signature --- fewer warnings;
tuned --- avoid compiler warnings;
tuned --- fewer warnings;
more robust ordering (see also 88c96e836ed6);
proper scala.collection.immutable;
tuned --- fewer warnings;
tuned --- fewer warnings;