Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
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.
tuned LaTeX files
20081208, by haftmann
tuned LaTeX files
20081208, by haftmann
merged.
20081206, by huffman
multiplication for type inat
20081206, by huffman
fix proofs
20081206, by huffman
change lemmas to avoid using neg
20081206, by huffman
simplify less_nat_number_of
20081205, by huffman
add lemma le_nat_number_of
20081205, by huffman
merged
20081206, by wenzelm
adapted to changes in binding module
20081206, by haftmann
merged
20081206, by haftmann
Name.name_of > Binding.base_name
20081205, by haftmann
corrected theory path
20081205, by haftmann
removed Table.extend, NameSpace.extend_table
20081205, by haftmann
renamed force_proof to join_proof;
20081206, by wenzelm
renamed force_proofs to join_proofs;
20081206, by wenzelm
finish_thy: to not collapse checkpoints  allows future proofs to be deferred indefinitely (performance tradeoff: 515% slowdown in sequential batch jobs);
20081206, by wenzelm
improved future_schedule: more robust handling of failed parents (explicit join), final join of all futures, including Exn.release_all;
20081206, by wenzelm
excursion: improve parallelism by not joining proofs here (depends on persistent checkpoints);
20081206, by wenzelm
added new_task;
20081206, by wenzelm
added constant value;
20081206, by wenzelm
refined type deriv: replaced all_promises by max_promise (dependency limit) and open_promises (potentially unfinished/failed promises);
20081205, by wenzelm
uniform treatment of ISABELLE_HOME/contrib vs. ISABELLE_HOME/..;
20081205, by wenzelm
Merged.
20081205, by ballarin
Interpretation in theories including interaction with subclass relation.
20081205, by ballarin
merged
20081205, by haftmann
dropped NameSpace.declare_base
20081205, by haftmann
fix proofs
20081204, by huffman
merged.
20081204, by huffman
revert to using eq_number_of_eq for simplification (Groebner_Examples.thy was broken)
20081204, by huffman
less
more

(0)
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip