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
-30
+30
+50
+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
2013-08-26, by traytel
moved derivation of ctor_dtor_unfold to sugar (streamlines fp_result interface)
2013-08-26, by traytel
export one more ML function, needed for primcorec
2013-08-26, by blanchet
reverted 6c5e7143e1f6; took a better look at evaluation data this time
2013-08-26, by blanchet
tuned unchecked ML;
2013-08-26, by wenzelm
removed junk;
2013-08-26, by wenzelm
ignore trailing primes, e.g. rename \<alpha>' to \<alpha>'' instead of \<alpha>'a;
2013-08-26, by wenzelm
tuned fudge factor in light of evaluation
2013-08-26, by blanchet
tuned proofs;
2013-08-25, by wenzelm
tuned proofs;
2013-08-25, by wenzelm
discontinued rendering of obsolete \<onesuperior>, \<twosuperior>, \<threesuperior>;
2013-08-25, by wenzelm
tuned;
2013-08-25, by wenzelm
maintain goal forks as part of global execution;
2013-08-25, by wenzelm
tuned proofs -- fewer warnings;
2013-08-25, by wenzelm
simplified Goal.forked_proofs: status is determined via group instead of dummy future (see also Pure/PIDE/execution.ML);
2013-08-25, by wenzelm
discontinued parallel_subproofs_saturation and related internal counters (superseded by parallel_subproofs_threshold and timing information);
2013-08-25, by wenzelm
some secondary shortcuts derived from 5.1.0/keymaps/German_Keyboard_keys.props (using CIRCUMFLEX instead of S+1);
2013-08-25, by wenzelm
use view root as parent for popup, which provides more space and avoids confusion of mouse wheel handlers on Windows (wrt. text area scrollbar);
2013-08-25, by wenzelm
tuned proofs;
2013-08-24, by wenzelm
tuned proofs;
2013-08-24, by wenzelm
confine popup to parent component, to avoid javax.swing.PopupFactory$HeavyWeightPopup and its problems with Linux window management and Mac OS X key handling;
2013-08-24, by wenzelm
strict checking of coordinates wrt. inner painter component;
2013-08-24, by wenzelm
more static values;
2013-08-24, by wenzelm
support more brackets;
2013-08-24, by wenzelm
prefer static "control", which is determined when the mouse event happens, not when its action runs;
2013-08-24, by wenzelm
tuned signature;
2013-08-24, by wenzelm
more precise painting;
2013-08-24, by wenzelm
more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
2013-08-24, by wenzelm
clarified border (again, see also 7ce3ebc268a1);
2013-08-24, by wenzelm
more faithful representation of U+2983 and U+2984 as "white" curly braces -- based on braces and bar from cmsy10.pfb;
2013-08-24, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip