| Wed, 14 Jan 2015 11:52:08 +0100 |
wenzelm |
added Path.decode in ML, in correspondence to Path.encode in Scala;
|
changeset |
files
|
| Tue, 13 Jan 2015 21:46:09 +0100 |
wenzelm |
some support for PIDE batch session;
|
changeset |
files
|
| Thu, 15 Jan 2015 15:04:51 +0100 |
hoelzl |
piecewise measurability using restrict_space; cleanup Borel_Space
|
changeset |
files
|
| Wed, 14 Jan 2015 17:04:19 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Wed, 14 Jan 2015 15:22:50 +0100 |
Andreas Lochbihler |
indent broken lines of bindings in do blocks
|
changeset |
files
|
| Wed, 14 Jan 2015 13:51:34 +0100 |
Andreas Lochbihler |
more line breaks in integral notation
|
changeset |
files
|
| Wed, 14 Jan 2015 10:15:41 +0100 |
Andreas Lochbihler |
allow line breaks in integral notation
|
changeset |
files
|
| Wed, 14 Jan 2015 09:59:12 +0100 |
Andreas Lochbihler |
allow line breaks in probability syntax
|
changeset |
files
|
| Wed, 14 Jan 2015 01:42:36 +0100 |
blanchet |
don't minimize chained facts -- this leads to subtle failures, e.g. if a method succeeds without a chained fact but fails with it
|
changeset |
files
|
| Tue, 13 Jan 2015 20:01:48 +0100 |
hoelzl |
NEWS
|
changeset |
files
|
| Tue, 13 Jan 2015 19:10:36 +0100 |
hoelzl |
measurability prover: removed app splitting, replaced by more powerful destruction rules
|
changeset |
files
|
| Sun, 11 Jan 2015 21:06:47 +0100 |
wenzelm |
tuned warnings: observe Context_Position.is_visible;
|
changeset |
files
|
| Sun, 11 Jan 2015 20:45:03 +0100 |
wenzelm |
removed unused/non-portable with_tmp_fifo;
|
changeset |
files
|
| Sun, 11 Jan 2015 20:40:14 +0100 |
wenzelm |
discontinued fifo channel, always use portable socket;
|
changeset |
files
|