isabelle: Graph

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

obsolete;
2016-03-03, by wenzelm
isabelle console -r" helps to bootstrap Isabelle/Pure;
2016-03-03, by wenzelm
discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
2016-03-03, by wenzelm
proper return code (cf. faa452d8e265);
2016-03-03, by wenzelm
clarified isabelle_process;
2016-03-03, by wenzelm
clarified modules;
2016-03-03, by wenzelm
clarified modules;
2016-03-03, by wenzelm
clarified modules;
2016-03-03, by wenzelm
removed junk;
2016-03-03, by wenzelm
discontinued polyml-5.3.0;
2016-03-03, by wenzelm
made Nitpick more robust
2016-03-03, by blanchet
constructive formulation of factorization
2016-03-03, by haftmann
support for ML_exception_debugger;
2016-03-02, by wenzelm
respect qualification when noting theorems in prim(co)rec
2016-03-02, by traytel
added invariant proofs to AA trees
2016-03-02, by nipkow
tuned signature;
2016-03-01, by wenzelm
clarified modules;
2016-03-01, by wenzelm
load secure.ML earlier;
2016-03-01, by wenzelm
clarified modules;
2016-03-01, by wenzelm
clarified modules;
2016-03-01, by wenzelm
ML debugger support in Pure (again, see 3565c9f407ec);
2016-03-01, by wenzelm
use bootstrap compiler earlier;
2016-03-01, by wenzelm
merged
2016-03-01, by wenzelm
merged
2016-03-01, by wenzelm
removed obsolete chmod: isabelle_process no longer supports writable heaps;
2016-03-01, by wenzelm
redundant -- already provided by Poly/ML toplevel;
2016-03-01, by wenzelm
prefer bash_process;
2016-03-01, by wenzelm
only one nested bash process (NB: OS.System = vfork + exec /bin/sh in RTS is faster than Posix.Process.fork/exec in ML);
2016-03-01, by wenzelm
generalized ML function
2016-03-01, by blanchet
tuned bootstrap order to provide type classes in a more sensible order
2016-03-01, by haftmann
missing file;
2016-03-01, by wenzelm
clarified session;
2016-02-29, by wenzelm
tuned header;
2016-02-29, by wenzelm
simplified -- always produce heap for RAW, Pure;
2016-02-29, by wenzelm
merged
2016-02-29, by wenzelm
isabelle_process executable no longer supports writable heap images;
2016-02-29, by wenzelm
more careful cleanup;
2016-02-29, by wenzelm
obsolete;
2016-02-29, by wenzelm
tuned;
2016-02-29, by wenzelm
redundant -- already part of Session.finish;
2016-02-29, by wenzelm
proper exit as in Scala version (in contrast to a45ba78abcc1);
2016-02-29, by wenzelm
save heap more directly;
2016-02-29, by wenzelm
clarified modules;
2016-02-29, by wenzelm
clarified ML heap operations;
2016-02-29, by wenzelm
generalized
2016-02-29, by immler
Merge
2016-02-29, by paulson
Merge
2016-02-29, by paulson
the integral is 0 when otherwise it would be undefined (also for contour integrals)
2016-02-29, by paulson
removed junk;
2016-02-29, by wenzelm
merged
2016-02-28, by wenzelm
clarified;
2016-02-28, by wenzelm
support only polyml-5.3.0 and polyml-5.6;
2016-02-28, by wenzelm
Merged
2016-02-28, by Manuel Eberl
Minor adjustments to euclidean rings
2016-02-28, by Manuel Eberl
proper document source;
2016-02-28, by wenzelm
simplified / unified isatest settings;
2016-02-28, by wenzelm
tuned signature;
2016-02-28, by wenzelm
discontinued old 'header';
2016-02-28, by wenzelm
more official "isabelle check_sources";
2016-02-28, by wenzelm
removed pointless "isabelle yxml";
2016-02-28, by wenzelm
moved getopts to Scala;
2016-02-28, by wenzelm
moved getopts to Scala;
2016-02-28, by wenzelm
obsolete;
2016-02-28, by wenzelm
obsolete;
2016-02-28, by wenzelm
moved getopts to Scala;
2016-02-28, by wenzelm
moved getopts to Scala;
2016-02-28, by wenzelm
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