19 months ago wenzelm 2017-10-30 ROOT cleanup: empty 'document_files' means there is no document;
19 months ago wenzelm 2017-10-30 eliminated pointless warning (see a35af478aee4): empty 'document_files' means there is no document;
19 months ago wenzelm 2017-10-30 more informative timeout message, notably for build_status;
19 months ago wenzelm 2017-10-30 clarified: adapted to ML version;
19 months ago wenzelm 2017-10-30 proper order of initialization (amending 9953ae603a23);
19 months ago paulson 2017-10-30 More topological results overlooked last time
19 months ago paulson 2017-10-30 merged
19 months ago paulson 2017-10-30 New results in topology, mostly from HOL Light's moretop.ml
19 months ago haftmann 2017-10-30 generalized some lemmas on multisets
19 months ago haftmann 2017-10-30 rule out pathologic instances
19 months ago haftmann 2017-10-30 tuned some proofs and added some lemmas
19 months ago wenzelm 2017-10-29 more recent polyml-test version;
19 months ago nipkow 2017-10-29 reduced simp_depth_limit
19 months ago immler 2017-10-28 generalized
19 months ago wenzelm 2017-10-28 reduced heap hierarchy, for potentially improved performance;
19 months ago wenzelm 2017-10-28 deactivated old tests;
19 months ago wenzelm 2017-10-28 avoid slow proofs due to simp rules from 960509bfd47e;
19 months ago wenzelm 2017-10-27 some concrete commands; clarified messages;
19 months ago wenzelm 2017-10-27 tuned signature;
19 months ago wenzelm 2017-10-27 more formal messages;
19 months ago wenzelm 2017-10-27 tuned signature;
19 months ago wenzelm 2017-10-27 separate JSON parser, which is slightly more general than (deprecated) scala.util.parsing.json.JSON;
19 months ago wenzelm 2017-10-27 more permissive;
19 months ago wenzelm 2017-10-27 tuned;
19 months ago wenzelm 2017-10-26 separate JSON lexer;
19 months ago wenzelm 2017-10-26 clarified command language;
19 months ago wenzelm 2017-10-26 use Poly/ML 5.7.1 test version as default;
19 months ago wenzelm 2017-10-25 more explicit check;
19 months ago wenzelm 2017-10-25 more robust treatment of UTF8 in raw byte sources;
19 months ago wenzelm 2017-10-25 clarified check, assuming that load commands are plain ASCII;
19 months ago wenzelm 2017-10-25 more documentation;
19 months ago wenzelm 2017-10-25 disallow blanks, relevant for session_name / theory_name e.g. in build log files;
19 months ago wenzelm 2017-10-25 uniform system name;
20 months ago wenzelm 2017-10-24 store session sources stamp;
20 months ago immler 2017-10-24 generalized lemmas cancelling real_of_int/real in (in)equalities with power; completed set of related simp rules; lemmas about floorlog/bitlen
20 months ago wenzelm 2017-10-24 misc tuning and modernization;
20 months ago wenzelm 2017-10-24 tuned output;
20 months ago wenzelm 2017-10-23 discontinued Linux 32bit platform support;
20 months ago wenzelm 2017-10-23 obsolete;
20 months ago wenzelm 2017-10-23 merged
20 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
20 months ago nipkow 2017-10-23 added lemma
20 months ago wenzelm 2017-10-23 minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC;
20 months ago wenzelm 2017-10-22 tuned output;
20 months ago wenzelm 2017-10-22 updated test version;
20 months ago wenzelm 2017-10-22 merged
20 months ago wenzelm 2017-10-22 auto update;
20 months ago wenzelm 2017-10-22 more recent polyml-test version;
20 months ago wenzelm 2017-10-22 parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);
20 months ago wenzelm 2017-10-22 tuned;
20 months ago wenzelm 2017-10-22 clarified signature;
20 months ago wenzelm 2017-10-22 tuned: build hg_graph only once; tuned signature;
20 months ago nipkow 2017-10-22 tuned
20 months ago nipkow 2017-10-22 derived axiom iffI as a lemma (thanks to Alexander Maletzky)
20 months ago bulwahn 2017-10-21 remove trailing whitespaces in List
20 months ago bulwahn 2017-10-21 drop a superfluous assumption that was found by the find_unused_assms command
20 months ago bulwahn 2017-10-21 drop a superfluous assumption that was found by the find_unused_assms command and tune proof
20 months ago bulwahn 2017-10-21 drop a superfluous assumption that was found by the find_unused_assms command and tune proof
20 months ago haftmann 2017-10-20 algebraic foundation for congruences
20 months ago wenzelm 2017-10-20 more ambitious test;