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.
tuned comment;
2012-03-08, by wenzelm
simplified -- plain map_index is sufficient (pointed out by Enrico Tassi);
2012-03-08, by wenzelm
tuned;
2012-03-08, by wenzelm
clarified XML signature (again) -- coincide with basic Markup without explicit dependency;
2012-03-08, by wenzelm
more precise warning/error positions;
2012-03-08, by wenzelm
merged
2012-03-07, by wenzelm
less rigorous but more realistic migration recommendation; note on code generation of sets
2012-03-07, by haftmann
tuned syntax; more candidates
2012-03-07, by haftmann
tuned message (cf. ML version);
2012-03-07, by wenzelm
eliminated dead code;
2012-03-07, by wenzelm
tuned signature;
2012-03-07, by wenzelm
simplified signature (NB: interpretation of properties is mainly done via XML.Encode/Decode);
2012-03-07, by wenzelm
to_pred/set attributes now properly handle variables of type "... => T set"
2012-03-07, by berghofe
some recovery of IsaMakefile targets from f3c10e908f65;
2012-03-07, by wenzelm
added max_new_mono_instances, max_mono_iters, to Mirabelle-Sledgehammer; changed sh_minimize to avoid setting Mirabelle-level defaults;
2012-03-07, by sultana
added sh_minimize and preplay_timeout options to Mirabelle's Sledgehammer action;
2012-03-07, by sultana
added Mirabelle action info in its log file; tuned;
2012-03-07, by sultana
More mathematical symbols for ZF examples
2012-03-06, by paulson
mathematical symbols for Isabelle/ZF example theories
2012-03-06, by paulson
Using mathematical notation for <-> and cardinal arithmetic
2012-03-06, by paulson
mathematical symbols instead of ASCII
2012-03-06, by paulson
addressed a quotient-type-related issue that arose with the port to "set"
2012-03-04, by blanchet
ensure no abstractions leak through after lambda-lifting (for formulas with higher-order occurrences of quantifiers)
2012-03-04, by blanchet
updates for jedit-4.5.0 (still inactive);
2012-03-04, by wenzelm
more explicit patches;
2012-03-04, by wenzelm
tuned comment;
2012-03-04, by wenzelm
removed obsolete proper_command_at (cf. 03a2dc9e0624);
2012-03-04, by wenzelm
added Command.proper_range (still unused);
2012-03-04, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip