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 JavaScript-enabled 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
proof-of-concept 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 ad-hoc @{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 re-used 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