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
+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.
generalize some lemmas
20110905, by huffman
add lemmas cos_arctan and sin_arctan
20110905, by huffman
tuned indentation
20110905, by huffman
more visible outdated_color;
20110905, by wenzelm
commands_change_delay within main actor  prevents overloading of commands_change_buffer input channel;
20110905, by wenzelm
tuned imports;
20110905, by wenzelm
fixed handling of "sledgehammer_params", so that "sledgehammer_params [e]" is really the same as "sledgehammer_params [provers = e]"
20110905, by blanchet
tuned
20110905, by boehmes
tuned
20110905, by boehmes
filter out all schematic theorems if the problem contains no ground constants
20110905, by boehmes
merged
20110904, by huffman
tuned comments
20110904, by huffman
simplify proof of Bseq_mono_convergent
20110904, by huffman
merged
20110904, by wenzelm
replace lemma expi_imaginary with reoriented lemma cis_conv_exp
20110904, by huffman
remove redundant lemmas expi_add and expi_zero
20110904, by huffman
remove redundant lemmas about LIMSEQ
20110904, by huffman
introduce abbreviation 'int' earlier in Int.thy
20110904, by huffman
remove unused assumptions from natceiling lemmas
20110904, by huffman
move lemmas nat_le_iff and nat_mono into Int.thy
20110904, by huffman
eliminated markup for plain identifiers (frequent but insignificant);
20110904, by wenzelm
simplified signatures;
20110904, by wenzelm
synchronous XML.Cache without actor  potentially more efficient on machines with few cores;
20110904, by wenzelm
tuned document;
20110904, by wenzelm
improved handling of extended styles and hard tabs when prover is inactive;
20110904, by wenzelm
mark hard tabs as single chunks, as required by jEdit;
20110904, by wenzelm
updated READMEs;
20110904, by wenzelm
property "tooltipdismissdelay" is edited in ms, not seconds;
20110904, by wenzelm
moved XML/YXML to src/Pure/PIDE;
20110904, by wenzelm
pass raw messages through xml_cache actor, which is important to retain ordering of results (e.g. read_command reports before assign, cf. 383c9d758a56);
20110904, by wenzelm
pseudodefinition for perms on sets; tuned
20110904, by haftmann
remove duplicate lemma nat_zero in favor of nat_0
20110903, by huffman
merged
20110903, by huffman
merged
20110903, by huffman
modify nominal packages to better respect set/pred distinction
20110903, by huffman
merged
20110903, by huffman
remove unused assumption from lemma posreal_complete
20110903, by huffman
tuned specifications
20110903, by haftmann
merged
20110903, by haftmann
tuned proof
20110903, by haftmann
merged
20110903, by haftmann
assert Pure equations for theorem references; avoid dynamic reference to fact
20110903, by haftmann
assert Pure equations for theorem references; tuned
20110903, by haftmann
tuned specifications and proofs
20110903, by haftmann
merged
20110903, by wenzelm
remove duplicate lemma finite_choice in favor of finite_set_choice
20110903, by huffman
simplify proof
20110903, by huffman
shorten some proofs
20110903, by huffman
remove redundant simp rules ceiling_floor and floor_ceiling
20110902, by huffman
misc tuning and simplification of proofs;
20110903, by wenzelm
Document.removed_versions on Scala side;
20110903, by wenzelm
discontinued predefined empty command (obsolete!?);
20110903, by wenzelm
discontinued global execs: store exec value directly within entries;
20110903, by wenzelm
Document.remove_versions on ML side;
20110903, by wenzelm
some support to prune_history;
20110903, by wenzelm
merged
20110902, by huffman
speed up extremely slow metis proof of Sup_real_iff
20110902, by huffman
remove redundant lemma reals_complete2 in favor of complete_real
20110902, by huffman
simplify proof of Rats_dense_in_real;
20110902, by huffman
remove unused, unnecessary lemmas
20110902, by huffman
less
more

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