| Fri, 20 Oct 2017 07:46:10 +0200 |
haftmann |
added lemmas and tuned proofs
|
changeset |
files
|
| Thu, 19 Oct 2017 17:16:13 +0100 |
paulson |
merged
|
changeset |
files
|
| Thu, 19 Oct 2017 17:16:01 +0100 |
paulson |
Switching to inverse image and constant_on, plus some new material
|
changeset |
files
|
| Thu, 19 Oct 2017 00:55:34 +0200 |
wenzelm |
proper integer option for Admin/build_history;
|
changeset |
files
|
| Wed, 18 Oct 2017 20:26:32 +0200 |
wenzelm |
clarified output;
|
changeset |
files
|
| Wed, 18 Oct 2017 20:14:57 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Wed, 18 Oct 2017 19:53:19 +0200 |
wenzelm |
more thorough treatment of afp_version and afp_pull_date;
|
changeset |
files
|
| Wed, 18 Oct 2017 11:53:01 +0200 |
wenzelm |
tuned options;
|
changeset |
files
|
| Tue, 17 Oct 2017 13:56:58 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Tue, 17 Oct 2017 13:51:43 +0200 |
wenzelm |
uniform execute, with proper isabelle_identifier (notably for "isabelle components -I");
|
changeset |
files
|
| Tue, 17 Oct 2017 11:51:39 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 17 Oct 2017 11:29:14 +0200 |
wenzelm |
permissive theory_timings for historic versions;
|
changeset |
files
|