isabelle: Graph

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

prefer dynamic objects, following a5fda30edae2;
10 months ago, by wenzelm
proper dynamic access (amending 52b5c7c8e6d9);
10 months ago, by wenzelm
clarified signature: incorporate guard into Logger;
10 months ago, by wenzelm
merged
10 months ago, by desharna
added lemmas rtranclp_ident_if_reflp_and_transp and tranclp_ident_if_transp
10 months ago, by desharna
Moving valuable library material from Martingales into the distribution
10 months ago, by paulson
clarified signature;
10 months ago, by wenzelm
clarified module signature and state;
10 months ago, by wenzelm
tuned messages;
10 months ago, by wenzelm
omit somewhat pointless message, following b7187d4cdf68;
10 months ago, by wenzelm
more robust handling of uninitialized value, notably Build_Process.progress;
10 months ago, by wenzelm
tuned
10 months ago, by nipkow
partially revert f1f08ca40d96: benchmark data needs to be present before timing data is loaded;
10 months ago, by Fabian Huch
clarified module signature and state;
10 months ago, by wenzelm
tuned signature: more protected operations;
10 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 tip

isabelle