| Tue, 09 Feb 2016 16:38:43 +0100 | nipkow | tuned | changeset | files |
| Tue, 09 Feb 2016 11:05:53 +0100 | nipkow | synchronized with book | changeset | files |
| Tue, 09 Feb 2016 09:51:55 +0100 | nipkow | tuned | changeset | files |
| Mon, 01 Feb 2016 20:55:23 +0100 | blanchet | avoid error in Isar proof reconstruction if no ATP proof is available | changeset | files |
| Mon, 01 Feb 2016 19:57:58 +0100 | blanchet | preplaying of 'smt' and 'metis' more in sync with actual method | changeset | files |
| Mon, 01 Feb 2016 18:45:18 +0100 | blanchet | avoid generating polymorphic SPASS constructs to monomorphic SPASS | changeset | files |
| Fri, 22 Jan 2016 16:00:03 +0000 | paulson | Reorganised a huge proof | changeset | files |
| Wed, 20 Jan 2016 20:19:05 +0100 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Wed, 20 Jan 2016 19:19:55 +0100 | wenzelm | merged | changeset | files |
| Wed, 20 Jan 2016 19:19:33 +0100 | wenzelm | bypass input method for better imitation of read-only mode (cf. f26a4d5e82b5): e.g. relevant for composition of ALT-u u on Mac OS X; | changeset | files |
| Wed, 20 Jan 2016 15:22:18 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 20 Jan 2016 15:17:03 +0100 | wenzelm | clarified -- this is available on Mac OS X, too; | changeset | files |
| Wed, 20 Jan 2016 14:43:21 +0100 | wenzelm | updated jdk; | changeset | files |
| Wed, 20 Jan 2016 14:32:56 +0100 | wenzelm | tuned signature (according to Scala version); | changeset | files |
| Wed, 20 Jan 2016 18:04:41 +0100 | blanchet | fixed NEWS w.r.t. multisets | changeset | files |
| Wed, 20 Jan 2016 17:14:53 +0100 | blanchet | added 'supset' variants for new '<#' etc. symbols on multisets | changeset | files |
| Wed, 20 Jan 2016 13:16:58 +0100 | immler | added lemma | changeset | files |
| Wed, 20 Jan 2016 00:06:48 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 19 Jan 2016 14:00:47 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 19 Jan 2016 11:46:54 +0100 | nipkow | tuned | changeset | files |
| Tue, 19 Jan 2016 11:36:09 +0100 | nipkow | merged | changeset | files |
| Tue, 19 Jan 2016 11:36:02 +0100 | nipkow | added lemma | changeset | files |
| Tue, 19 Jan 2016 11:19:25 +0100 | Manuel Eberl | Added approximation of powr to NEWS/CONTRIBUTORS | changeset | files |
| Tue, 19 Jan 2016 07:59:29 +0100 | Manuel Eberl | Made Approximation work for powr again | changeset | files |
| Mon, 18 Jan 2016 16:03:58 +0100 | wenzelm | updated polyml; | changeset | files |
| Mon, 18 Jan 2016 16:03:18 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 18 Jan 2016 14:59:59 +0100 | wenzelm | updated mirrors according to website; | changeset | files |
| Sun, 17 Jan 2016 17:56:33 +0100 | nipkow | renamed map_of to lookup | changeset | files |
| Sun, 17 Jan 2016 00:14:45 +0100 | wenzelm | more method definitions; | changeset | files |
| Sat, 16 Jan 2016 23:35:55 +0100 | wenzelm | tuned syntax; | changeset | files |
| Sat, 16 Jan 2016 23:31:28 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 16 Jan 2016 23:24:50 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sat, 16 Jan 2016 16:37:45 +0100 | wenzelm | keep src/Doc; | changeset | files |
| Sat, 16 Jan 2016 15:57:38 +0100 | wenzelm | tuned URLs according to website; | changeset | files |
| Sat, 16 Jan 2016 15:04:31 +0100 | wenzelm | more symbols; | changeset | files |
| Sat, 16 Jan 2016 15:03:55 +0100 | wenzelm | tuned message; | changeset | files |
| Sat, 16 Jan 2016 15:03:40 +0100 | wenzelm | tuned message; | changeset | files |
| Fri, 15 Jan 2016 19:55:11 +0100 | wenzelm | Added tag Isabelle2016-RC1 for changeset 155d30f721dd | changeset | files |
| Fri, 15 Jan 2016 19:50:37 +0100 | wenzelm | misc updates and tuning; | changeset | files |
| Fri, 15 Jan 2016 17:30:04 +0100 | wenzelm | misc updates and tuning; | changeset | files |
| Fri, 15 Jan 2016 16:04:09 +0100 | wenzelm | misc updates and tuning; | changeset | files |
| Fri, 15 Jan 2016 10:14:31 +0100 | immler | continuity of parameterized integral; easier-to-apply formulation of rules | changeset | files |
| Thu, 14 Jan 2016 16:45:13 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 14 Jan 2016 13:51:13 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 14 Jan 2016 12:20:49 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 14 Jan 2016 12:11:22 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Wed, 13 Jan 2016 23:37:55 +0100 | wenzelm | removed dead code; | changeset | files |
| Wed, 13 Jan 2016 23:25:18 +0100 | wenzelm | tuned syntax; | changeset | files |
| Wed, 13 Jan 2016 23:07:06 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Wed, 13 Jan 2016 23:02:28 +0100 | wenzelm | eliminated spurious Unicode; | changeset | files |
| Wed, 13 Jan 2016 21:44:26 +0100 | wenzelm | clarified example; | changeset | files |
| Wed, 13 Jan 2016 21:15:23 +0100 | wenzelm | updated section on "Overloaded constant definitions"; | changeset | files |
| Wed, 13 Jan 2016 20:19:49 +0100 | wenzelm | more doc content; | changeset | files |
| Wed, 13 Jan 2016 17:05:08 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 13 Jan 2016 16:55:56 +0100 | wenzelm | removed old 'defs' command; | changeset | files |
| Wed, 13 Jan 2016 16:41:32 +0100 | wenzelm | Eisbach works for other object-logics, e.g. Eisbach_FOL.thy; | changeset | files |
| Wed, 13 Jan 2016 16:01:03 +0100 | wenzelm | more doc content; | changeset | files |
| Wed, 13 Jan 2016 15:59:37 +0100 | wenzelm | merged; | changeset | files |
| Wed, 13 Jan 2016 15:58:39 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 13 Jan 2016 15:46:21 +0100 | wenzelm | proper relative symlink; | changeset | files |