Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
15
+15
+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.
merged
19 months ago, by nipkow
tuned
19 months ago, by nipkow
Merge and get rid of closed_segmentI
19 months ago, by paulson
Moved or deleted some out of place material, also eliminating obsolete naming conventions
19 months ago, by paulson
Line_Segment is independent of Convex_Euclidean_Space
19 months ago, by immler
the division between Starlike and Convex_Euclidean_Space is artificial, therefore include Starlike
19 months ago, by immler
betweenness is a property on line segments
19 months ago, by immler
reduce dependencies of Ordered_Euclidean_Space; move more general material from Cartesian_Euclidean_Space
19 months ago, by immler
proper message (amending 94442fce40a5);
19 months ago, by wenzelm
more robust Thm.expose_theory  ensure that PIDE export happens in the proper theory context;
19 months ago, by wenzelm
uniform "prune_proofs" for Thm_Node / PThm, but it is in conflict with export_proofs of reused nodes;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
updated xml_size;
19 months ago, by wenzelm
prefer named result;
19 months ago, by wenzelm
more robust expose_proofs corresponding to register_proofs/consolidate_theory;
19 months ago, by wenzelm
less
more

(0)
30000
10000
3000
1000
300
100
15
+15
+100
+300
+1000
tip