Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+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.
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip