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
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
more options;
17 months ago, by wenzelm
support for Linux user management;
17 months ago, by wenzelm
merged
17 months ago, by nipkow
tuned
17 months ago, by nipkow
moved duplicate lemmas up the hierarchy
17 months ago, by nipkow
proofofconcept theory for bit operations without a constructivistic representation and a minimal common logical foundation
17 months ago, by haftmann
merged
17 months ago, by nipkow
removed redundant lemma
17 months ago, by nipkow
merged
17 months ago, by immler
add lemmas
17 months ago, by immler
refactor Approximation.thy to use more abstract type of intervals
17 months ago, by immler
moved theory Interval_Approximation from the AFP
17 months ago, by immler
moved theory Interval from the AFP
18 months ago, by immler
replace approximation oracle by less adhoc @{computation}s
17 months ago, by immler
tuned
17 months ago, by nipkow
merged
17 months ago, by nipkow
tuned
17 months ago, by nipkow
Merge and get rid of closed_segmentI
17 months ago, by paulson
Moved or deleted some out of place material, also eliminating obsolete naming conventions
17 months ago, by paulson
Line_Segment is independent of Convex_Euclidean_Space
17 months ago, by immler
the division between Starlike and Convex_Euclidean_Space is artificial, therefore include Starlike
17 months ago, by immler
betweenness is a property on line segments
17 months ago, by immler
reduce dependencies of Ordered_Euclidean_Space; move more general material from Cartesian_Euclidean_Space
17 months ago, by immler
proper message (amending 94442fce40a5);
17 months ago, by wenzelm
more robust Thm.expose_theory  ensure that PIDE export happens in the proper theory context;
17 months ago, by wenzelm
uniform "prune_proofs" for Thm_Node / PThm, but it is in conflict with export_proofs of reused nodes;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
updated xml_size;
17 months ago, by wenzelm
prefer named result;
17 months ago, by wenzelm
more robust expose_proofs corresponding to register_proofs/consolidate_theory;
17 months ago, by wenzelm
less
more

(0)
30000
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
tip