| Wed, 05 Dec 2012 19:08:23 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Wed, 05 Dec 2012 18:09:38 +0100 |
wenzelm |
implicit build_dialog for Isabelle/jEdit;
|
changeset |
files
|
| Wed, 05 Dec 2012 18:07:32 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Wed, 05 Dec 2012 17:48:58 +0100 |
wenzelm |
tuned OK feedback;
|
changeset |
files
|
| Wed, 05 Dec 2012 17:38:43 +0100 |
wenzelm |
check for existing image (even if outdated);
|
changeset |
files
|
| Wed, 05 Dec 2012 17:05:25 +0100 |
wenzelm |
more elementary dialog, with less interaction;
|
changeset |
files
|
| Wed, 05 Dec 2012 16:33:02 +0100 |
wenzelm |
basic interaction with build process;
|
changeset |
files
|
| Wed, 05 Dec 2012 16:31:58 +0100 |
wenzelm |
allow to terminate jobs via Progress;
|
changeset |
files
|
| Wed, 05 Dec 2012 14:45:44 +0100 |
wenzelm |
more formal progress context;
|
changeset |
files
|
| Wed, 05 Dec 2012 14:19:44 +0100 |
wenzelm |
basic wrapper for session build dialog;
|
changeset |
files
|
| Wed, 05 Dec 2012 14:13:47 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 05 Dec 2012 12:22:55 +0100 |
wenzelm |
tuned signature in accordance to document operations;
|
changeset |
files
|
| Wed, 05 Dec 2012 11:34:04 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 05 Dec 2012 11:05:34 +0100 |
nipkow |
merged
|
changeset |
files
|
| Wed, 05 Dec 2012 11:05:23 +0100 |
nipkow |
\<noteq> now has the same associativity as ~= and =
|
changeset |
files
|
| Wed, 05 Dec 2012 10:35:58 +0100 |
blanchet |
tweaked order of theorems to avoid forward dependencies (MaSh)
|
changeset |
files
|
| Tue, 04 Dec 2012 23:50:36 +0100 |
blanchet |
rationalized MaSh evaluation harness
|
changeset |
files
|
| Tue, 04 Dec 2012 23:43:24 +0100 |
blanchet |
more robustness in the face of MaSh format changes -- don't overwrite new versions with old versions
|
changeset |
files
|
| Tue, 04 Dec 2012 23:19:03 +0100 |
blanchet |
added feature weights in MaSh
|
changeset |
files
|
| Tue, 04 Dec 2012 23:19:02 +0100 |
blanchet |
promote local facts using a hack (for MaSh)
|
changeset |
files
|
| Tue, 04 Dec 2012 22:14:59 +0100 |
wenzelm |
proper action labels, to make this appear in the "Shortcuts" panel, for example;
|
changeset |
files
|
| Tue, 04 Dec 2012 19:10:14 +0100 |
blanchet |
turned off noisy MaSh features
|
changeset |
files
|
| Tue, 04 Dec 2012 19:09:44 +0100 |
blanchet |
added MaSh learning to Mirabelle
|
changeset |
files
|
| Tue, 04 Dec 2012 18:23:50 +0100 |
blanchet |
fixed bug in initialization of naive Bayes (MaSh)
|
changeset |
files
|
| Tue, 04 Dec 2012 18:12:30 +0100 |
blanchet |
tuned MaSh exporter -- and don't make temp directories unless explicitly told so
|
changeset |
files
|
| Tue, 04 Dec 2012 18:12:29 +0100 |
blanchet |
generalized MaSh exporter to sets of theories
|
changeset |
files
|
| Tue, 04 Dec 2012 18:00:40 +0100 |
hoelzl |
remove SMT proofs in Multivariate_Analysis
|
changeset |
files
|
| Tue, 04 Dec 2012 18:00:37 +0100 |
hoelzl |
prove tendsto_power_div_exp_0
|
changeset |
files
|
| Tue, 04 Dec 2012 18:00:31 +0100 |
hoelzl |
add filterlim rules for eventually monotone bijective functions; mirror rules for at_top, at_bot; apply them to prove convergence of arctan at infinity and tan at pi/2
|
changeset |
files
|
| Tue, 04 Dec 2012 16:20:24 +0100 |
wenzelm |
merged
|
changeset |
files
|