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 JavaScript-enabled browsers.
updated official title of contribution by Johannes Hoelzl;
2009-04-08, by wenzelm
misc tuning and updates;
2009-04-07, by wenzelm
updated doc setup;
2009-04-07, by wenzelm
merged
2009-04-07, by wenzelm
moved generated eps/pdf to main directory, for proper display in dvi;
2009-04-07, by wenzelm
updates for E-1.0-004;
2009-04-07, by wenzelm
tuned manual
2009-04-07, by haftmann
merged
2009-04-06, by haftmann
tuned comment
2009-04-06, by haftmann
Added tag isa2009-test for changeset 613c2eb8aef6
2009-04-06, by wenzelm
tuned whitespace
2009-04-06, by haftmann
merged
2009-04-05, by wenzelm
reverted to explicitly check the presence of a refutation
2009-04-04, by immler
tuned white space;
2009-04-05, by wenzelm
merged
2009-04-05, by wenzelm
\nolinkurl for dvi mode recovers hyphenation of URLs -- this already works by default in PDF mode;
2009-04-05, by wenzelm
removed obsolete website directory -- information derived by website/build;
2009-04-05, by wenzelm
More precise treatement of rational constants by the normalizer for fields
2009-04-05, by chaieb
fixed usage of rational constants
2009-04-05, by chaieb
No Complex_Main needed
2009-04-05, by chaieb
now deals with devision in fields
2009-04-05, by chaieb
fixed formal markup;
2009-04-03, by wenzelm
merged
2009-04-03, by nipkow
Finite_Set: lemma
2009-04-03, by nipkow
single-threaded build;
2009-04-03, by wenzelm
merged
2009-04-03, by berghofe
Added check whether argument types of inductive set agree with types of declared
2009-04-03, by berghofe
added setsum_eq_1_iff
2009-04-03, by nipkow
simplified website/config;
2009-04-02, by wenzelm
Updated to corrected E output messages
2009-04-02, by nipkow
updated keywords (with polyml-experimental);
2009-04-02, by wenzelm
some more HOL-Nominal news;
2009-04-02, by wenzelm
merged
2009-04-02, by wenzelm
tuned signature;
2009-04-02, by wenzelm
misc tuning for release;
2009-04-02, by wenzelm
merged
2009-04-02, by berghofe
Fixed bug in transformation of congruence rule for ==
2009-04-02, by berghofe
some HOL-Nominal news;
2009-04-02, by wenzelm
updates for Isabelle2009 release;
2009-04-02, by wenzelm
tuned;
2009-04-02, by wenzelm
merged
2009-04-02, by wenzelm
misc cleanup and rearrangements for Isabelle2009 release;
2009-04-02, by wenzelm
merged
2009-04-01, by nipkow
cleaned up setprod_zero-related lemmas
2009-04-01, by nipkow
merged
2009-04-01, by huffman
generalized setprod_nonneg and setprod_pos to ordered_semidom, simplified proofs
2009-04-01, by huffman
added nat_div_gt_0 [simp]
2009-04-01, by nipkow
added setsum_pos_nat
2009-04-01, by nipkow
merged
2009-04-01, by nipkow
added strong_setprod_cong[cong] (in analogy with setsum)
2009-04-01, by nipkow
proper external tikz pictures
2009-04-01, by haftmann
merged
2009-04-01, by wenzelm
tuned comments;
2009-04-01, by wenzelm
merged
2009-04-01, by wenzelm
explicitly check that at least one argument is present to avoid low-level exception
2009-04-01, by krauss
merged
2009-04-01, by wenzelm
included managing_thread in state of AtpManager:
2009-03-31, by immler
domain package registers induction rules
2009-03-31, by huffman
merged
2009-03-31, by wenzelm
Merged.
2009-03-31, by ballarin
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip