| Thu, 04 Jan 2018 18:18:57 +0100 |
hoelzl |
HOL-Analysis: add set_integrable_restrict_space
|
changeset |
files
|
| Wed, 03 Jan 2018 23:18:46 +0100 |
haftmann |
more correct parentheses
|
changeset |
files
|
| Wed, 03 Jan 2018 22:29:31 +0100 |
wenzelm |
more tight HTML output: avoid extra lines within <pre>;
|
changeset |
files
|
| Wed, 03 Jan 2018 20:55:13 +0100 |
wenzelm |
HTML output for Markdown elements;
|
changeset |
files
|
| Wed, 03 Jan 2018 11:06:41 +0100 |
blanchet |
updated NEWS
|
changeset |
files
|
| Wed, 03 Jan 2018 11:06:36 +0100 |
blanchet |
removed dead code
|
changeset |
files
|
| Wed, 03 Jan 2018 11:06:29 +0100 |
blanchet |
removed old 'add_datatype' ML functions
|
changeset |
files
|
| Wed, 03 Jan 2018 11:06:13 +0100 |
blanchet |
kill old size infrastructure
|
changeset |
files
|
| Tue, 02 Jan 2018 23:04:15 +0100 |
haftmann |
repaired whitespace accident from 2505cabfc515
|
changeset |
files
|
| Mon, 01 Jan 2018 20:42:08 +0000 |
haftmann |
proper namespace for evaluators
|
changeset |
files
|
| Mon, 01 Jan 2018 20:42:07 +0000 |
haftmann |
tuned
|
changeset |
files
|
| Mon, 01 Jan 2018 20:42:06 +0000 |
haftmann |
more correct name resolving
|
changeset |
files
|
| Mon, 01 Jan 2018 20:42:05 +0000 |
haftmann |
skip abstract constructors silently in datatype clauses of computations
|
changeset |
files
|
| Tue, 02 Jan 2018 21:32:14 +0100 |
blanchet |
removed para about 'old_datatype' in docs
|
changeset |
files
|
| Tue, 02 Jan 2018 20:38:41 +0100 |
wenzelm |
old_datatype no longer exists (cf. 706b1cf7b76d);
|
changeset |
files
|