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 JavaScript-enabled browsers.
tuned names
2017-08-29, by nipkow
simpler definition
2017-08-29, by nipkow
typo
2017-08-29, by nipkow
tuned
2017-08-29, by nipkow
tuned messages
2017-08-29, by blanchet
improved Vampire proof parser
2017-08-29, by blanchet
new file
2017-08-29, by nipkow
proper theory name;
2017-08-29, by wenzelm
news
2017-08-29, by nipkow
merged
2017-08-28, by paulson
final cleanup of negligible_standard_hyperplane and other things
2017-08-28, by paulson
merged
2017-08-28, by paulson
sorted out cases in negligible_standard_hyperplane
2017-08-28, by paulson
Unscrambling continues as far as negligible_standard_hyperplane
2017-08-28, by paulson
unscrambled has_integral_restrict_open_subinterval
2017-08-28, by paulson
merged
2017-08-28, by paulson
Giant cleanup of fundamental_theorem_of_calculus_interior
2017-08-28, by paulson
work on indefinite_integral_continuous_left, etc.
2017-08-28, by paulson
merged
2017-08-28, by wenzelm
not ready for release;
2017-08-28, by wenzelm
updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
2017-08-28, by wenzelm
merged
2017-08-28, by nipkow
added eta_expansion and its documentation.
2017-08-28, by nipkow
More material on infinite sums
2017-08-26, by eberlm
merged
2017-08-27, by paulson
some tidying of division_of_nontrivial
2017-08-27, by paulson
division_of_nontrivial partial cleanup
2017-08-27, by paulson
tuning
2017-08-27, by nipkow
tuned
2017-08-27, by nipkow
merged
2017-08-26, by paulson
Elimination of some "presume"
2017-08-26, by paulson
unscrambled Henstock_lemma_part1
2017-08-26, by paulson
merged
2017-08-26, by nipkow
tuned
2017-08-26, by nipkow
reorganized and added log-related lemmas
2017-08-26, by nipkow
merged
2017-08-26, by paulson
unscrambling esp of Henstock_lemma_part1
2017-08-26, by paulson
starting to unscramble bounded_variation_absolutely_integrable_interval
2017-08-25, by paulson
tuned proofs
2017-08-26, by nipkow
reorganization of tree lemmas; new lemmas
2017-08-25, by nipkow
merged
2017-08-25, by paulson
unscrambling of integrable_alt
2017-08-25, by paulson
renamed s to S to work with previous change
2017-08-25, by paulson
merged
2017-08-24, by paulson
work on integrable_alt, etc.
2017-08-24, by paulson
tidying up has_integral'
2017-08-24, by paulson
more elimination of "guess", etc.
2017-08-24, by paulson
Added lemmas
2017-08-25, by nipkow
swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>
2017-08-24, by haftmann
more correct output syntax declaration
2017-08-24, by haftmann
tuned
2017-08-24, by nipkow
Merge (non-trivial)
2017-08-24, by paulson
More tidying, and renaming of theorems
2017-08-23, by paulson
merged
2017-08-23, by paulson
More tidying up of monotone_convergence_interval
2017-08-23, by paulson
tuning (proofs and code)
2017-08-24, by blanchet
upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
2017-08-24, by blanchet
dedicated local for "operative" avoids namespace pollution
2017-08-23, by haftmann
reorg
2017-08-23, by nipkow
added lemma
2017-08-23, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
tip