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.
merged
2012-11-21, by wenzelm
more generous timeout for SML/NJ, which is approx. 40-80 times slower than Poly/ML;
2012-11-21, by wenzelm
Countable_Set: tuned lemma names; more generic lemmas
2012-11-21, by hoelzl
enable Symbols dockable by default;
2012-11-21, by wenzelm
tuned;
2012-11-21, by wenzelm
accomodate scala-2.10.0-RC2 with its slight reform on for-syntax;
2012-11-21, by wenzelm
renamed BNF/Countable_Set to Countable_Type and moved its generic stuff to Library/Countable_Set
2012-11-21, by hoelzl
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
2012-11-21, by immler
CONTRIBUTION: add fabians work
2012-11-21, by hoelzl
NEWS: document changes in HOL-Probability
2012-11-21, by hoelzl
NEWS (changeset 13211e07d931): add Countable_Set
2012-11-21, by hoelzl
NEWS (changeset 69b35a75caf3): document changes in FuncSet
2012-11-21, by hoelzl
new theory of immutable arrays
2012-11-21, by nipkow
some grouping of Isabelle symbols, based on X-Symbol grid in PG-3.7.1.1 and a proposal by Fabian Immler;
2012-11-20, by wenzelm
support for symbol groups, retaining original order of declarations;
2012-11-20, by wenzelm
tuned;
2012-11-20, by wenzelm
add Countable_Set theory
2012-11-20, by hoelzl
tuned proof
2012-11-20, by nipkow
simplified command line of "isabelle install";
2012-11-20, by wenzelm
known problems with Mac OS X are back -- Java 7u6 is not the last word (cf. ce37d4f8b4f4);
2012-11-20, by wenzelm
some documentation for "algebra" in HOL;
2012-11-20, by wenzelm
global default for session timeout;
2012-11-20, by wenzelm
alternative completion for outer syntax keywords;
2012-11-19, by wenzelm
init options on startup as well;
2012-11-19, by wenzelm
theorem status about oracles/futures is no longer printed by default;
2012-11-19, by wenzelm
tuned: use induction rule sigma_sets_induct_disjoint
2012-11-19, by hoelzl
tuned FinMap
2012-11-19, by hoelzl
merge extensional dependent function space from FuncSet with the one in Finite_Product_Measure
2012-11-19, by hoelzl
more refs;
2012-11-19, by wenzelm
isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release);
2012-11-18, by wenzelm
proper jvmpath for windows;
2012-11-18, by wenzelm
more generous tracing_limit, with explicit system option;
2012-11-18, by wenzelm
adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware;
2012-11-18, by wenzelm
update options via protocol;
2012-11-18, by wenzelm
more accurate pixel_range -- do not round offset here;
2012-11-18, by wenzelm
tuned signature;
2012-11-18, by wenzelm
prefer absolute default $USER_HOME/Scratch.thy;
2012-11-17, by wenzelm
more portable process exit;
2012-11-17, by wenzelm
tuned -- eliminate pointless ML method definition;
2012-11-17, by wenzelm
tuned;
2012-11-17, by wenzelm
NEWS;
2012-11-17, by wenzelm
tuned structure of Isabelle/HOL;
2012-11-17, by wenzelm
method setup for Classical steps;
2012-11-17, by wenzelm
tuned signature;
2012-11-17, by wenzelm
updated keywords;
2012-11-17, by wenzelm
moved (b)choice_iff(') to Hilbert_Choice
2012-11-16, by hoelzl
move theorems to be more generally useable
2012-11-16, by hoelzl
merged
2012-11-16, by wenzelm
made SML/NJ happy;
2012-11-16, by wenzelm
renamed prob_space to proj_prob_space as it clashed with Probability_Measure.prob_space
2012-11-16, by hoelzl
renamed measurable_compose -> measurable_finmap_compose, clashed with Sigma_Algebra.measurable_compose
2012-11-16, by hoelzl
measurability for nat_case and comb_seq
2012-11-16, by hoelzl
rules for AE and prob
2012-11-16, by hoelzl
rules for intergration: integrating nat-functions, integrals on finite measures, constant multiplication
2012-11-16, by hoelzl
more measurability rules
2012-11-16, by hoelzl
renamed to more appropriate lim_P for projective limit
2012-11-16, by immler
allow arbitrary enumerations of basis in locale for generation of borel sets
2012-11-16, by immler
repaired slip accidentally introduced in 57209cfbf16b
2012-11-15, by haftmann
prefer implementation in HOL;
2012-11-15, by haftmann
corrected headers
2012-11-15, by immler
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip