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.
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
merged
20110908, by wenzelm
theory of saturated naturals contributed by Peter Gammie
20110907, by haftmann
theory of saturated naturals contributed by Peter Gammie
20110907, by haftmann
lemmas about +, *, min, max on nat
20110907, by haftmann
update Sledgehammer docs
20110907, by blanchet
added new tagged encodings to Metis tests
20110907, by blanchet
also implemented ghost version of the tagged encodings
20110907, by blanchet
added new guards encoding to test
20110907, by blanchet
smarter explicit apply business
20110907, by blanchet
started work on ghost type arg encoding
20110907, by blanchet
stricted type encoding parsing
20110907, by blanchet
more substructural sharing to gain significant compression;
20110908, by wenzelm
XML.cache for partial sharing (strings only);
20110907, by wenzelm
platformspecific look and feel;
20110907, by wenzelm
less
more

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