Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+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;
18 months ago, by wenzelm
support for Linux user management;
18 months ago, by wenzelm
merged
18 months ago, by nipkow
tuned
18 months ago, by nipkow
moved duplicate lemmas up the hierarchy
18 months ago, by nipkow
proofofconcept theory for bit operations without a constructivistic representation and a minimal common logical foundation
18 months ago, by haftmann
merged
18 months ago, by nipkow
removed redundant lemma
18 months ago, by nipkow
merged
18 months ago, by immler
add lemmas
18 months ago, by immler
refactor Approximation.thy to use more abstract type of intervals
18 months ago, by immler
moved theory Interval_Approximation from the AFP
18 months ago, by immler
moved theory Interval from the AFP
18 months ago, by immler
replace approximation oracle by less adhoc @{computation}s
18 months ago, by immler
tuned
18 months ago, by nipkow
merged
18 months ago, by nipkow
tuned
18 months ago, by nipkow
Merge and get rid of closed_segmentI
18 months ago, by paulson
Moved or deleted some out of place material, also eliminating obsolete naming conventions
18 months ago, by paulson
Line_Segment is independent of Convex_Euclidean_Space
18 months ago, by immler
the division between Starlike and Convex_Euclidean_Space is artificial, therefore include Starlike
18 months ago, by immler
betweenness is a property on line segments
18 months ago, by immler
reduce dependencies of Ordered_Euclidean_Space; move more general material from Cartesian_Euclidean_Space
18 months ago, by immler
proper message (amending 94442fce40a5);
18 months ago, by wenzelm
more robust Thm.expose_theory  ensure that PIDE export happens in the proper theory context;
18 months ago, by wenzelm
uniform "prune_proofs" for Thm_Node / PThm, but it is in conflict with export_proofs of reused nodes;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
updated xml_size;
18 months ago, by wenzelm
prefer named result;
18 months ago, by wenzelm
more robust expose_proofs corresponding to register_proofs/consolidate_theory;
18 months ago, by wenzelm
expose derivations more thoroughly, notably for locale/class reasoning;
18 months ago, by wenzelm
clarified errors;
18 months ago, by wenzelm
determine proof boxes from exported proof (NB: thm_boxes is not sufficient due to OfClass proofs);
18 months ago, by wenzelm
more operations;
18 months ago, by wenzelm
tuned whitespace;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
clarified signature  more options;
18 months ago, by wenzelm
merged
18 months ago, by paulson
moved line segments to Convex_Euclidean_Space
18 months ago, by paulson
proper theory for export_proofs;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
merged
18 months ago, by paulson
just tidied one proof
18 months ago, by paulson
proper graph traversal  avoid exponential blowup (amending 71d1971d67ad);
18 months ago, by wenzelm
oops — fixed symbols!!
18 months ago, by paulson
reorganisation to eliminate Brouwer_Fixpoint from complex analysis
18 months ago, by paulson
merged
18 months ago, by paulson
Inverse function theorem + lemmas
18 months ago, by paulson
back to more elementary Buffer.T  less intermediate garbage;
18 months ago, by wenzelm
unused;
18 months ago, by wenzelm
unused;
18 months ago, by wenzelm
more direct output of XML material  bypass Buffer.T;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
more direct output of XML material  bypass Buffer.T;
18 months ago, by wenzelm
more scalable protocol_message: use XML.body directly (Output.output hook is not required);
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
updated to polyml5.8.120191101 test version;
18 months ago, by wenzelm
less
more

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