17 months ago wenzelm 2018-02-10 NEWS;
17 months ago wenzelm 2018-02-10 updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
17 months ago wenzelm 2018-02-10 support for libgmp for x86-darwin;
17 months ago wenzelm 2018-02-10 more accessible src/Pure/ROOT.ML;
17 months ago wenzelm 2018-02-10 tuned;
17 months ago wenzelm 2018-02-09 more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
17 months ago wenzelm 2018-02-09 rebuild of polyml-5.7.1 with libgmp for x86_darwin;
17 months ago wenzelm 2018-02-09 patch polyc: avoid hardwired directory prefix;
17 months ago wenzelm 2018-02-09 support for libgmp for x86_64-darwin;
17 months ago wenzelm 2018-02-09 built-in library path for (optional) libgmp on macos;
17 months ago wenzelm 2018-02-09 removed obsolete polyi executable: change of DYLD_LIBRARY_PATH is not required;
17 months ago wenzelm 2018-02-09 more robust access to shared libraries for poly executable: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
17 months ago eberlm 2018-02-08 Merged
17 months ago Manuel Eberl 2018-02-08 Some lemmas about complex sinh/cosh/tanh
17 months ago immler 2018-02-08 more elementary proof of connected_Times, earlier
17 months ago nipkow 2018-02-08 merged
17 months ago nipkow 2018-02-08 tuned
17 months ago eberlm 2018-02-07 Added hyperbolic functions
17 months ago immler 2018-02-05 added lemmas, avoid 'float_of 0'
17 months ago wenzelm 2018-02-03 clarified signature;
17 months ago wenzelm 2018-02-03 more uniform treatment of formal comments within document source; more robust nesting;
17 months ago wenzelm 2018-02-03 just one check of formal comments;
17 months ago wenzelm 2018-02-03 avoid proliferation of language_document reports; clarified signature;
17 months ago wenzelm 2018-02-03 more external tools for AFP test;
17 months ago wenzelm 2018-02-03 clarified overall range: include delimiters;
17 months ago nipkow 2018-02-02 added lemma
17 months ago wenzelm 2018-02-01 tuned: more standard use of order;
17 months ago wenzelm 2018-02-01 tuned;
17 months ago wenzelm 2018-02-01 tuned;
17 months ago wenzelm 2018-02-01 clarified signature; eliminated aliases of Thm.term_ord;
17 months ago wenzelm 2018-02-01 clarified signature: prefer proper order operation;
17 months ago wenzelm 2018-02-01 tuned signature: more operations;
17 months ago wenzelm 2018-02-01 clarified signature;
17 months ago wenzelm 2018-01-31 proper term_ord as in HOL/Library/positivstellensatz.ML, e.g. relevant for "0 <= c & 0 <= a ==> a + bb = 1 & c <= 1 ==> bb * c * 4 <= (12::real)";
17 months ago wenzelm 2018-01-31 performance fine-tuning of hot spot;
17 months ago wenzelm 2018-01-31 tuned;
17 months ago wenzelm 2018-01-31 more efficient tokens_match_ord based on token_kind_index; tuned;
17 months ago wenzelm 2018-01-31 more abstract type;
17 months ago wenzelm 2018-01-31 tuned;
17 months ago wenzelm 2018-01-31 clarified signature;
17 months ago wenzelm 2018-01-31 clarified signature;
17 months ago wenzelm 2018-01-31 explicit dummy token;
17 months ago wenzelm 2018-01-31 clarified modules;
17 months ago wenzelm 2018-01-31 clarified signature;
17 months ago wenzelm 2018-01-30 clarified breakgain: keeping it constant avoids margin fluctuation in Pretty_Tooltip vs. Pretty_Text_Area;
17 months ago wenzelm 2018-01-30 clarified lines: like split_lines;
17 months ago wenzelm 2018-01-30 tuned;
17 months ago wenzelm 2018-01-30 unused;
17 months ago wenzelm 2018-01-30 tuned;
17 months ago wenzelm 2018-01-30 simplified: prod_count is always NONE;
17 months ago wenzelm 2018-01-30 tuned;
17 months ago wenzelm 2018-01-30 tuned data structure and operations;
17 months ago wenzelm 2018-01-30 tuned data structure and operations;
17 months ago wenzelm 2018-01-30 tuned data structure and operations;
17 months ago wenzelm 2018-01-30 more operations;
17 months ago wenzelm 2018-01-30 prefer specific tokens_subtract: subtle change of comparison via tokens_match;
17 months ago wenzelm 2018-01-30 tuned type: absorb NONE: token option as token_none: token;
17 months ago wenzelm 2018-01-30 tuned;
17 months ago wenzelm 2018-01-30 clarified types and operations: potentially more efficient add_prods; tuned data structure;
17 months ago wenzelm 2018-01-30 clarified modules; tuned;