| Fri, 17 Mar 2017 11:35:03 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 17 Mar 2017 11:27:58 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 17 Mar 2017 11:15:57 +0100 | wenzelm | tuned message; | changeset | files |
| Fri, 17 Mar 2017 10:58:32 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 17 Mar 2017 10:39:14 +0100 | wenzelm | more selective queries; | changeset | files |
| Fri, 17 Mar 2017 10:03:00 +0100 | wenzelm | clarified data representation; | changeset | files |
| 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 |