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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
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
was only of historical interest anymore
2016-02-23, by nipkow
An assortment of useful lemmas about sums, norm, etc. Also: norm_conv_dist [symmetric] is now a simprule!
2016-02-22, by paulson
generalize more theorems to support enat and ennreal
2016-02-19, by hoelzl
moved more proofs to ordered_comm_monoid_add; introduced strict_ordered_ab_semigroup/comm_monoid_add
2016-02-12, by hoelzl
Rename ordered_comm_monoid_add to ordered_cancel_comm_monoid_add. Introduce ordreed_comm_monoid_add, canonically_ordered_comm_monoid and dioid. Setup nat, entat and ennreal as dioids.
2016-02-10, by hoelzl
add extended nonnegative real numbers
2016-02-09, by hoelzl
remove lattice syntax from countable complete lattice
2016-02-19, by hoelzl
add countable complete lattices
2016-02-18, by hoelzl
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip