| Sun, 30 Jan 2011 22:44:02 +0100 | wenzelm | removed obsolete test tags; | changeset | files |
| Sun, 30 Jan 2011 20:47:26 +0100 | wenzelm | delete .elc files unconditionally -- they cause too many incompatibilities; | changeset | files |
| Sun, 30 Jan 2011 18:36:35 +0100 | wenzelm | Added tag Isabelle2011 for changeset 6d736d983d5c | changeset | files |
| Fri, 28 Jan 2011 11:26:08 +1100 | kleing | removed Florian's email from isatest (bounces) | changeset | files |
| Tue, 25 Jan 2011 09:45:45 +0100 | hoelzl | merged | changeset | files |
| Mon, 24 Jan 2011 22:29:50 +0100 | hoelzl | use pre-image measure, instead of image | changeset | files |
| Fri, 21 Jan 2011 11:39:26 +0100 | hoelzl | use AE_mp in AE_conjI proof | changeset | files |
| Wed, 19 Jan 2011 17:44:53 +0100 | hoelzl | tuned proof | changeset | files |
| Fri, 21 Jan 2011 10:43:09 +0100 | haftmann | merged | changeset | files |
| Fri, 21 Jan 2011 09:44:12 +0100 | haftmann | moved theorem | changeset | files |
| Fri, 21 Jan 2011 09:41:59 +0100 | haftmann | restructured theory; | changeset | files |
| Wed, 19 Jan 2011 11:34:10 +0100 | hoelzl | merged | changeset | files |
| Tue, 18 Jan 2011 21:37:23 +0100 | hoelzl | Gauge measure removed | changeset | files |
| Tue, 18 Jan 2011 09:44:29 +0100 | haftmann | merged | changeset | files |
| Tue, 18 Jan 2011 09:44:23 +0100 | haftmann | report mutabelle log in mira configuration | changeset | files |
| Mon, 17 Jan 2011 20:20:51 +0100 | wenzelm | back to post-release mode; | changeset | files |
| Mon, 24 Sep 2012 16:39:30 +0200 | Walther Neuper | meeting dmeindl: added missing files | changeset | files |
| Mon, 24 Sep 2012 09:20:21 +0200 | Walther Neuper | meeting dmeindl: Test_Isac.thy ok | changeset | files |
| Mon, 24 Sep 2012 09:07:38 +0200 | Walther Neuper | meeding dmeindl | changeset | files |
| Thu, 20 Sep 2012 10:07:02 +0200 | Walther Neuper | added error-pattern "addition-of-fractions" | changeset | files |
| Fri, 14 Sep 2012 12:23:48 +0200 | Walther Neuper | merged | changeset | files |
| Fri, 14 Sep 2012 12:23:39 +0200 | Walther Neuper | jrocnik: cut to 16 pages, finalised spell check | changeset | files |
| Fri, 14 Sep 2012 10:00:16 +0200 | Jan Rocnik | jrocnik: paper: jrocnik - finished | changeset | files |
| Thu, 13 Sep 2012 22:44:56 +0200 | Jan Rocnik | jrocnik: paper: nearly finished formulars | changeset | files |
| Thu, 13 Sep 2012 22:06:39 +0200 | Jan Rocnik | jrocnik: paper: complete spellcheck | changeset | files |
| Thu, 13 Sep 2012 21:40:22 +0200 | Jan Rocnik | merged | changeset | files |
| Thu, 13 Sep 2012 21:39:51 +0200 | Jan Rocnik | jrocnik: paper: commit only for fresh fetch | changeset | files |
| Thu, 13 Sep 2012 21:20:05 +0200 | Walther Neuper | jrocnik: all \sect finished | changeset | files |
| Thu, 13 Sep 2012 17:39:07 +0200 | Walther Neuper | jrocnik: \sect.3.5 done | changeset | files |
| Thu, 13 Sep 2012 06:25:30 +0200 | Jan Rocnik | merged | changeset | files |
| Thu, 13 Sep 2012 06:24:52 +0200 | Jan Rocnik | jrocnik: paper: rewrite on 3.2 to be continiued | changeset | files |
| Wed, 12 Sep 2012 21:14:15 +0200 | Walther Neuper | jrocnik: reworked up to \sect.3.5 | changeset | files |
| Wed, 12 Sep 2012 17:38:44 +0200 | Walther Neuper | jrocnik: comments to 3.2. | changeset | files |
| Tue, 11 Sep 2012 22:27:50 +0200 | Jan Rocnik | jrocnik: paper: rework on 3.5 completed, severell style changes (no more paragraph or example enviroments, smaller sizes in example code). additional some rewrites in 3.3 | changeset | files |
| Tue, 11 Sep 2012 21:45:38 +0200 | Jan Rocnik | merged | changeset | files |
| Tue, 11 Sep 2012 21:45:07 +0200 | Jan Rocnik | jrocnik: paper: rework on 3.5 - commit before merge | changeset | files |
| Tue, 11 Sep 2012 21:34:20 +0200 | Walther Neuper | jrocnik: finished \sect.4 | changeset | files |
| Tue, 11 Sep 2012 18:27:17 +0200 | Walther Neuper | jrocnik: clarifying difference \sect 3 -- 4 | changeset | files |
| Tue, 11 Sep 2012 10:39:58 +0200 | Walther Neuper | merged | changeset | files |
| Tue, 11 Sep 2012 10:39:51 +0200 | Walther Neuper | jrocnik: just before fetch | changeset | files |
| Tue, 11 Sep 2012 09:33:27 +0200 | Jan Rocnik | merged | changeset | files |
| Tue, 11 Sep 2012 09:32:57 +0200 | Jan Rocnik | jrocnik: paper: reserved space for 3.5 | changeset | files |
| Mon, 10 Sep 2012 15:52:51 +0200 | Walther Neuper | merged | changeset | files |
| Mon, 10 Sep 2012 15:52:44 +0200 | Walther Neuper | jrocnik: eJMT conclusion | changeset | files |
| Sun, 09 Sep 2012 21:18:00 +0200 | Jan Rocnik | jrocnik: paper: new ordering according mail contact | changeset | files |
| Sun, 09 Sep 2012 21:14:20 +0200 | Jan Rocnik | merged | changeset | files |
| Sun, 09 Sep 2012 21:13:19 +0200 | Jan Rocnik | repaired after failed merge | changeset | files |
| Sun, 09 Sep 2012 21:12:49 +0200 | Walther Neuper | merged | changeset | files |
| Sun, 09 Sep 2012 21:12:41 +0200 | Walther Neuper | tuned | changeset | files |
| Sun, 09 Sep 2012 21:08:11 +0200 | Jan Rocnik | merged | changeset | files |
| Sun, 09 Sep 2012 21:06:30 +0200 | Jan Rocnik | failed merge | changeset | files |
| Sun, 09 Sep 2012 18:01:20 +0200 | Jan Rocnik | jrocnik: paper: new version of 3.4 and start of 3.5 | changeset | files |
| Sun, 09 Sep 2012 19:42:39 +0200 | Walther Neuper | jrocnik: finished 2. | changeset | files |
| Sun, 09 Sep 2012 19:05:02 +0200 | Walther Neuper | jrocnik: 2.2 partially | changeset | files |
| Sun, 09 Sep 2012 17:32:22 +0200 | Walther Neuper | jrocnik: paper 4.1 | changeset | files |
| Sun, 09 Sep 2012 16:29:03 +0200 | Walther Neuper | jrocnik: 3.6. finished | changeset | files |
| Sun, 09 Sep 2012 14:56:34 +0200 | Walther Neuper | merged | changeset | files |
| Sun, 09 Sep 2012 14:54:30 +0200 | Walther Neuper | jrocnik: 3.6 | changeset | files |
| Sun, 09 Sep 2012 13:11:45 +0200 | Walther Neuper | merged | changeset | files |
| Sun, 09 Sep 2012 13:00:40 +0200 | Walther Neuper | jrocnik: intermed. for merging | changeset | files |