isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

tuned;
2016-02-28, by wenzelm
just one File.find_files, based on Java 7 Files operations;
2016-02-28, by wenzelm
More efficient Extended Euclidean Algorithm
2016-02-28, by Manuel Eberl
more symbols;
2016-02-27, by wenzelm
symbol interpretation for \<circle>;
2016-02-27, by wenzelm
update due to fontforge save operation;
2016-02-27, by wenzelm
moved getopts to Scala;
2016-02-27, by wenzelm
moved getopts to Scala;
2016-02-27, by wenzelm
no tracing SPAM, and thus more visible warnings;
2016-02-27, by wenzelm
moved getopts to Scala;
2016-02-27, by wenzelm
tuned messages;
2016-02-27, by wenzelm
more operations (like Markup.parse_bool in ML);
2016-02-27, by wenzelm
tuned messages;
2016-02-27, by wenzelm
support for command-line options as in GNU bash;
2016-02-27, by wenzelm
more succint formulation of membership for multisets, similar to lists;
2016-02-26, by haftmann
Tuned Euclidean Rings/GCD rings
2016-02-26, by Manuel Eberl
Fixed code equations for Gcd/Lcm
2016-02-26, by Manuel Eberl
generalized ML function
2016-02-26, by blanchet
Merged
2016-02-26, by eberlm
Tuned Euclidean Ring instance for polynomials
2016-02-26, by eberlm
Merged
2016-02-26, by eberlm
Merged
2016-02-25, by eberlm
Tuned Euclidean rings
2016-02-25, by eberlm
finite precision computation to determine sign for comparison
2016-02-26, by immler
positive precision for truncate; fixed precision for approximation of rationals; code for truncate
2016-02-26, by immler
compute_real_of_float has not been used as code equation
2016-02-26, by immler
tuned proof;
2016-02-25, by wenzelm
merged
2016-02-25, by wenzelm
slightly more robust re-initialization;
2016-02-25, by wenzelm
isabelle_scala_script is usually found by PATH;
2016-02-25, by wenzelm
within the Isabelle environment, main executables are always within PATH;
2016-02-25, by wenzelm
avoid global state change;
2016-02-25, by wenzelm
more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;
2016-02-25, by wenzelm
Merge
2016-02-25, by paulson
partial tidy-up of Sylow's theorem
2016-02-25, by paulson
proper option process_output_tail, more generous default;
2016-02-25, by wenzelm
Conformal_mappings: a big development in complex analysis (+ some lemmas)
2016-02-25, by paulson
tuned;
2016-02-25, by wenzelm
tuned signature;
2016-02-25, by wenzelm
proper return code for timeout (amending f868f12f9419);
2016-02-25, by wenzelm
retain tail out_lines as printed, but not the whole log content;
2016-02-25, by wenzelm
explicit class Build_Results;
2016-02-25, by wenzelm
more informative Build.build_results;
2016-02-24, by wenzelm
more informative Process_Result;
2016-02-24, by wenzelm
clarified modules;
2016-02-24, by wenzelm
tuned signature;
2016-02-24, by wenzelm
Merge
2016-02-24, by paulson
Substantial new material for multivariate analysis. Also removal of some duplicates.
2016-02-24, by paulson
NEWS
2016-02-24, by nipkow
refactoring
2016-02-23, by blanchet
merged
2016-02-23, by nipkow
resolved conflict
2016-02-23, by nipkow
more canonical names
2016-02-23, by nipkow
more canonical names
2016-02-23, by nipkow
more canonical names
2016-02-23, by nipkow
merged
2016-02-23, by wenzelm
merged;
2016-02-23, by wenzelm
support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
2016-02-23, by wenzelm
avoid outdated Process.interruptConsoleProcesses;
2016-02-22, by wenzelm
tuning
2016-02-23, by blanchet

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle