- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Mar 14 2021
Mar 14 2021
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
avoid name clash
another example for lift_bnf for quotients
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 9 2021
Mar 9 2021
traytel committed rISABELLE180981b87929: generalized confluence-based subdistributivity theorem for quotients;.
generalized confluence-based subdistributivity theorem for quotients;
desharna added a reverting change for rISABELLE3fdb94d87e0e: added lemmas (sublist|prefix|suffix)_list_all: rISABELLEd47c8a89c6a5: Backed out changeset 3fdb94d87e0e.
desharna committed rISABELLE8a1c6c7909c9: Backed out changeset b867b436f372.
Backed out changeset b867b436f372
desharna committed rISABELLEd47c8a89c6a5: Backed out changeset 3fdb94d87e0e.
Backed out changeset 3fdb94d87e0e
Mar 8 2021
Mar 8 2021
dcjm committed rPOLYMLbf2020d077bf: Only check for libffi if we are building the interpreted version. (authored by dcjm).
Only check for libffi if we are building the interpreted version.
reduced dependencies on List_Permutation
follow corresponding precedence on sets
reduced dependencies on List_Permutation
follow corresponding precedence on sets
Mar 6 2021
Mar 6 2021
consolidated names
reduced dependencies on theory List_Permutation
consolidated names
reduced dependencies on theory List_Permutation
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;
desharna committed rISABELLE3fdb94d87e0e: added lemmas (sublist|prefix|suffix)_list_all.
added lemmas (sublist|prefix|suffix)_list_all
desharna committed rISABELLE99c1c4f89605: added lemmas takeWhile_is_prefix, suffix_dropWhile, and sublist_(take|drop)While.
added lemmas takeWhile_is_prefix, suffix_dropWhile, and sublist_(take|drop)While
dcjm committed rPOLYMLf1eb0b453418: Fix offset of RBX in "memory register" array. Needed for callbacks in 32-in-64. (authored by dcjm).
Fix offset of RBX in "memory register" array. Needed for callbacks in 32-in-64.
desharna committed rISABELLEb867b436f372: added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI.
added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI
desharna committed rISABELLE96ef620c8b1e: added upper bound on monomorphisation duplicate instances.
added upper bound on monomorphisation duplicate instances
desharna committed rISABELLE316e12147698: tuned exec field in atp_config.
tuned exec field in atp_config
desharna committed rISABELLEa80fd78c85bd: tuned best_slices in atp_config.
tuned best_slices in atp_config
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;
tuned --- fewer warnings;
tuned --- fewer warnings;
Mar 3 2021
Mar 3 2021
tuned --- fewer warnings;
tuned --- fewer warnings;
tuned --- fewer warnings;
tuned --- fewer warnings;
updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
tuned --- fewer warnings;
Tuned presentation of Buffon's needle