| Fri, 17 Mar 2017 09:49:01 +0100 |
wenzelm |
data representation with XML.Cache;
|
changeset |
files
|
| Fri, 17 Mar 2017 09:33:58 +0100 |
wenzelm |
clarified name;
|
changeset |
files
|
| Thu, 16 Mar 2017 23:33:39 +0100 |
wenzelm |
SQL database operations for combined session info;
|
changeset |
files
|
| Thu, 16 Mar 2017 23:27:29 +0100 |
wenzelm |
prefer non-strict default;
|
changeset |
files
|
| Thu, 16 Mar 2017 23:26:16 +0100 |
wenzelm |
clarified signature (again, see also 3ed43cfc8b14);
|
changeset |
files
|
| Thu, 16 Mar 2017 21:22:01 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 16 Mar 2017 21:09:13 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 16 Mar 2017 12:00:40 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Thu, 16 Mar 2017 11:25:09 +0100 |
wenzelm |
clarified message: exception output usally happens in a context without extra newline;
|
changeset |
files
|
| Thu, 16 Mar 2017 16:02:18 +0000 |
paulson |
Removed [simp] status for Complex_eq. Also tidied some proofs
|
changeset |
files
|
| Thu, 16 Mar 2017 13:55:29 +0000 |
paulson |
Removal of [simp] status for greaterThan_0. Moved two theorems into main HOL.
|
changeset |
files
|
| Wed, 15 Mar 2017 21:52:04 +0100 |
wenzelm |
always output proof state: there is only one output buffer in Isabelle/VSCode;
|
changeset |
files
|