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
+3000
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.
reduce dependencies of Ordered_Euclidean_Space; move more general material from Cartesian_Euclidean_Space
21 months ago, by immler
proper message (amending 94442fce40a5);
21 months ago, by wenzelm
more robust Thm.expose_theory  ensure that PIDE export happens in the proper theory context;
21 months ago, by wenzelm
uniform "prune_proofs" for Thm_Node / PThm, but it is in conflict with export_proofs of reused nodes;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
updated xml_size;
21 months ago, by wenzelm
prefer named result;
21 months ago, by wenzelm
more robust expose_proofs corresponding to register_proofs/consolidate_theory;
21 months ago, by wenzelm
expose derivations more thoroughly, notably for locale/class reasoning;
21 months ago, by wenzelm
clarified errors;
21 months ago, by wenzelm
determine proof boxes from exported proof (NB: thm_boxes is not sufficient due to OfClass proofs);
21 months ago, by wenzelm
more operations;
21 months ago, by wenzelm
tuned whitespace;
21 months ago, by wenzelm
more robust;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
less
more

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