2021-08-23 wenzelm clarified signature;
2021-08-23 wenzelm tuned;
2021-08-23 wenzelm tuned;
2021-08-22 wenzelm tuned signature: prefer existing Haskell operations;
2021-08-22 wenzelm more Haskell operations;
2021-08-22 wenzelm tuned signature;
2021-08-22 wenzelm tuned comments;
2021-08-22 wenzelm tuned;
2021-08-21 haftmann consolidation of rules for bit operations
2021-08-20 desharna fixed $ite syntax in TPTP TFX generation
2021-08-19 wenzelm more Haskell operations;
2021-08-19 wenzelm merged
2021-08-19 wenzelm revert 0faa68dedce5: very slow;
2021-08-19 wenzelm tuned;
2021-08-19 Lukas Stevens add/rename some theorems about Map(pings)
2021-08-18 wenzelm support configuration options "show_results";
2021-08-18 wenzelm consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
2021-08-16 desharna merged
2021-08-16 desharna fixed $ite syntax in TPTP THX generation
2021-08-16 wenzelm tuned signature;
2021-08-16 wenzelm more scalable data structures;
2021-08-16 wenzelm more scalable data structures;
2021-08-16 wenzelm more scalable data structures;
2021-08-15 wenzelm proper position information for Context.theory_data_size;
2021-08-12 wenzelm provide bash_process server for Isabelle/ML and other external programs;
2021-08-12 wenzelm clarified signature;
2021-08-12 wenzelm clarified signature;
2021-08-12 wenzelm proper prover_options for batch-build;
2021-08-12 wenzelm clarified signature;
2021-08-07 wenzelm clarified signature: more options for bash_process;
2021-08-07 wenzelm tuned signature;
2021-08-07 wenzelm clarified signature;
2021-08-07 wenzelm clarified signature;
2021-08-07 wenzelm follow phabricator 2021 Week 26;
2021-08-06 wenzelm tuned signature;
2021-08-06 wenzelm tuned;
2021-08-06 wenzelm clarified signature;
2021-08-06 wenzelm clarified signature;
2021-08-06 wenzelm unused;
2021-08-06 wenzelm clarified signature;
2021-08-05 wenzelm merged
2021-08-05 wenzelm clarified modules;
2021-08-05 wenzelm type classes for XML data representation;
2021-08-05 wenzelm tuned signature;
2021-08-05 wenzelm clarified types: prefer Isabelle byte strings;
2021-08-05 desharna merged
2021-08-05 desharna added option labels to Mirabelle actions
2021-08-05 wenzelm more operations: dest binders;
2021-08-05 haftmann clarified abstract and concrete boolean algebras
2021-08-05 haftmann antiquotation for bundles
2021-08-04 wenzelm prefer persistent hash code for cachable items (see also 72b13af7f266);
2021-08-04 wenzelm merged
2021-08-04 wenzelm more operations: record overall exported entities;
2021-08-04 desharna merged
2021-08-04 desharna added dummy_fof prover to Sledgehammer
2021-08-03 desharna fixed malconfigured option output_dir in mirabelle
2021-08-04 wenzelm merged
2021-08-04 wenzelm clarified export of formal entities: name space info is always present, but content depends on option "export_theory";
2021-08-03 wenzelm proper name space "kind": this is a formal name, not comment;
2021-08-03 wenzelm more uniform signatures in ML and Scala;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip