| Wed, 13 Apr 2016 14:12:51 +0200 |
immler |
added rule
|
changeset |
files
|
| Tue, 12 Apr 2016 18:49:39 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 12 Apr 2016 15:01:06 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 12 Apr 2016 15:00:26 +0200 |
wenzelm |
simplified -- avoid odd mutable state, which potentially causes problems with module initialization;
|
changeset |
files
|
| Tue, 12 Apr 2016 14:50:53 +0200 |
wenzelm |
back to static Mixfix.default_constraint without any special tricks (reverting e6443edaebff);
|
changeset |
files
|
| Tue, 12 Apr 2016 14:38:57 +0200 |
wenzelm |
Type_Infer.object_logic controls improvement of type inference result;
|
changeset |
files
|
| Tue, 12 Apr 2016 13:49:37 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 11 Apr 2016 15:50:50 +0200 |
wenzelm |
simplified constraints;
|
changeset |
files
|
| Mon, 11 Apr 2016 15:50:18 +0200 |
wenzelm |
back to dummy constraints (amending dd2914250ca7): important for Syntax_Phases.get_free/is_declared;
|
changeset |
files
|
| Mon, 11 Apr 2016 15:26:58 +0200 |
wenzelm |
tuned imports;
|
changeset |
files
|
| Mon, 11 Apr 2016 15:07:15 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Mon, 11 Apr 2016 11:48:24 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 12 Apr 2016 11:18:29 +0200 |
immler |
added lemmas
|
changeset |
files
|
| Tue, 12 Apr 2016 11:18:29 +0200 |
immler |
generalized
|
changeset |
files
|
| Tue, 12 Apr 2016 11:18:29 +0200 |
immler |
added derivative of scaling in exponential function
|
changeset |
files
|
| Mon, 11 Apr 2016 16:27:42 +0100 |
paulson |
lots of new theorems for multivariate analysis
|
changeset |
files
|
| Sun, 10 Apr 2016 23:15:34 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 10 Apr 2016 22:27:43 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 10 Apr 2016 22:27:05 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sun, 10 Apr 2016 21:46:12 +0200 |
wenzelm |
more standard session build process, including browser_info;
|
changeset |
files
|
| Sun, 10 Apr 2016 21:30:48 +0200 |
wenzelm |
clarified files;
|
changeset |
files
|
| Sun, 10 Apr 2016 20:15:39 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 10 Apr 2016 18:41:49 +0200 |
wenzelm |
proper support for recursive ML debugging;
|
changeset |
files
|
| Sun, 10 Apr 2016 17:52:30 +0200 |
wenzelm |
tuned -- avoid recoding properties;
|
changeset |
files
|
| Sat, 09 Apr 2016 21:42:42 +0200 |
wenzelm |
removed old proof method "default";
|
changeset |
files
|
| Sat, 09 Apr 2016 20:38:08 +0200 |
wenzelm |
clean message more thoroughly;
|
changeset |
files
|
| Sat, 09 Apr 2016 20:31:46 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sat, 09 Apr 2016 20:18:15 +0200 |
wenzelm |
avoid interference with running PIDE protocol;
|
changeset |
files
|
| Sat, 09 Apr 2016 20:14:00 +0200 |
wenzelm |
proper signature for structure;
|
changeset |
files
|
| Sat, 09 Apr 2016 20:07:10 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|