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
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.
explicit choice of interface;
20110911, by wenzelm
more orthogonal signature;
20110911, by wenzelm
updates for release;
20110911, by wenzelm
misc tuning and clarification (NB: settings are already local for named snapshots/releases);
20110911, by wenzelm
some updates of PLATFORMS;
20110911, by wenzelm
more README;
20110911, by wenzelm
merged
20110910, by wenzelm
mem_prs and mem_rsp in accordance with setsaspredicates representation (backported from AFP/Coinductive)
20110910, by krauss
misc tuning;
20110910, by wenzelm
misc tuning and clarification;
20110910, by wenzelm
speed up slow proof;
20110910, by wenzelm
merged
20110910, by wenzelm
more modularization
20110910, by haftmann
stronger colors (as background);
20110910, by wenzelm
some color scheme for theory status;
20110910, by wenzelm
some keyboard shortcuts for important actions;
20110910, by wenzelm
explicit jEdit actions  to enable key mappings, for example;
20110910, by wenzelm
more symbolic file positions via smart replacement of ISABELLE_HOME  allows Isabelle distribution to be moved later on;
20110910, by wenzelm
tuned usage;
20110910, by wenzelm
simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);
20110910, by wenzelm
renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc.
20110910, by haftmann
fixed definition of type intersection (soundness bug)
20110910, by blanchet
continue with minimization in debug mode in spite of unsoundness
20110910, by blanchet
generalize lemma of_nat_number_of_eq to class number_semiring
20110909, by huffman
merged
20110909, by bulwahn
stating more explicitly our expectation that these two terms have the same term structure
20110909, by bulwahn
revisiting type annotations for Haskell: necessary type annotations are not inferred on the provided theorems but using the arguments and right hand sides, as these might differ in the case of constants with abstract code types
20110909, by bulwahn
made SML/NJ happy
20110909, by blanchet
call ghc with XEmptyDataDecls
20110908, by noschinl
merged
20110909, by nipkow
tuned headers
20110909, by nipkow
Library/Saturated.thy: number_semiring class instance
20110908, by huffman
remove lemmas nat_add_min_{left,right} in favor of generic lemmas min_add_distrib_{left,right}
20110908, by huffman
merged
20110908, by huffman
remove unnecessary intermediate lemmas
20110908, by huffman
added syntactic classes for "inf" and "sup"
20110909, by krauss
prove existence, uniqueness, and other properties of complex arg function
20110908, by huffman
tuned
20110908, by huffman
remove obsolete intermediate lemma complex_inverse_complex_split
20110908, by huffman
tuned
20110908, by huffman
merged
20110908, by haftmann
tuned
20110908, by haftmann
merged
20110908, by haftmann
merged
20110907, by haftmann
merged
20110906, by haftmann
merged
20110906, by haftmann
merged
20110906, by haftmann
tuned
20110905, by haftmann
merged
20110905, by haftmann
tuned
20110905, by haftmann
tuned
20110904, by haftmann
fixed computation of "in_conj" for polymorphic encodings
20110908, by blanchet
add some new lemmas about cis and rcis;
20110907, by huffman
Complex.thy: move theorems into appropriate subsections
20110907, by huffman
merged
20110907, by huffman
remove redundant lemma complex_of_real_minus_one
20110907, by huffman
simplify proof of lemma DeMoivre, removing unnecessary intermediate lemma
20110907, by huffman
removed unused lemma sin_cos_squared_add2_mult
20110907, by huffman
remove duplicate lemma real_of_int_real_of_nat in favor of real_of_int_of_nat_eq
20110907, by huffman
avoid using legacy theorem names
20110907, by huffman
less
more

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