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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

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
updated doc
2016-02-23, by blanchet
tuning
2016-02-23, by blanchet
Merge
2016-02-23, by paulson
New and revised material for (multivariate) analysis
2016-02-23, by paulson

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

isabelle