| Mon, 21 Jun 2010 11:37:25 +0200 |
wenzelm |
removed obsolete test tags;
|
file |
diff |
annotate
|
| Mon, 21 Jun 2010 11:35:56 +0200 |
wenzelm |
Added tag Isabelle2009-2 for changeset 35815ce9218a
|
file |
diff |
annotate
|
| Mon, 14 Jun 2010 21:12:51 +0200 |
wenzelm |
Added tag isa2009-2-test3 for changeset 0eacedd5f780
|
file |
diff |
annotate
|
| Mon, 07 Jun 2010 21:48:24 +0200 |
wenzelm |
Added tag isa2009-2-test2 for changeset dfca6c4cd1e8
|
file |
diff |
annotate
|
| Sun, 06 Jun 2010 17:37:44 +0200 |
wenzelm |
Added tag isa2009-2-test1 for changeset d1cdbc7524b6
|
file |
diff |
annotate
|
| Wed, 02 Jun 2010 14:55:37 +0200 |
wenzelm |
Added tag isa2009-2-test0 for changeset 935c75359742
|
file |
diff |
annotate
|
| Thu, 03 Dec 2009 19:31:55 +0100 |
wenzelm |
removed obsolete test tags;
|
file |
diff |
annotate
|
| Thu, 03 Dec 2009 19:30:42 +0100 |
wenzelm |
Added tag Isabelle2009-1 for changeset 6a973bd43949
|
file |
diff |
annotate
|
| Sun, 29 Nov 2009 20:23:03 +0100 |
wenzelm |
Added tag isa2009-1-test for changeset e1c262952b02
|
file |
diff |
annotate
|
| Thu, 26 Nov 2009 15:03:31 +0100 |
wenzelm |
Added tag isa2009-1-test for changeset 14ff44e21bec
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 17:54:33 +0100 |
wenzelm |
Added tag isa2009-1-test for changeset 4328de748fb2
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 13:54:29 +0100 |
wenzelm |
Added tag isa2009-1-test for changeset 9db7854eafc7
|
file |
diff |
annotate
|
| Mon, 20 Apr 2009 12:27:23 +0200 |
wenzelm |
removed obsolete test tags;
|
file |
diff |
annotate
|
| Sun, 19 Apr 2009 17:27:43 +0200 |
wenzelm |
Added tag Isabelle2009 for changeset 5c8618f95d24
|
file |
diff |
annotate
|
| Thu, 16 Apr 2009 15:45:31 +0200 |
wenzelm |
Added tag isa2009-test for changeset d394a17d4fdb
|
file |
diff |
annotate
|
| Wed, 08 Apr 2009 20:29:15 +0200 |
wenzelm |
Added tag isa2009-test for changeset dda08b76fa99
|
file |
diff |
annotate
|
| Mon, 06 Apr 2009 14:02:39 +0200 |
wenzelm |
Added tag isa2009-test for changeset 613c2eb8aef6
|
file |
diff |
annotate
|
| Mon, 01 Dec 2008 17:32:40 +0100 |
wenzelm |
removed obsolete tags (leftover from old CVS branches);
|
file |
diff |
annotate
|
| Wed, 03 Sep 2008 20:32:33 +0000 |
convert-repo |
update tags
|
file |
diff |
annotate
|