| 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
|
| Sat, 09 Apr 2016 19:38:25 +0200 |
wenzelm |
proper output of markup, e.g. relevant for nested ML as used in Pure/System/bash.ML;
|
changeset |
files
|
| Sat, 09 Apr 2016 19:30:15 +0200 |
wenzelm |
support ROOT0.ML as well -- independently of ROOT.ML;
|
changeset |
files
|
| Sat, 09 Apr 2016 19:09:11 +0200 |
wenzelm |
flags as in 'ML' command;
|
changeset |
files
|
| Sat, 09 Apr 2016 16:16:05 +0200 |
wenzelm |
shared output primitives of physical/virtual Pure;
|
changeset |
files
|
| Sat, 09 Apr 2016 14:52:10 +0200 |
wenzelm |
shared thread position for physical/virtual Pure;
|
changeset |
files
|
| Sat, 09 Apr 2016 14:40:00 +0200 |
wenzelm |
prefer Synchronized.var;
|
changeset |
files
|
| Sat, 09 Apr 2016 14:28:32 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 09 Apr 2016 14:21:29 +0200 |
wenzelm |
virtual Pure is single-threaded to avoid confusion with multiple thread farms etc.;
|
changeset |
files
|