Thu, 05 Dec 2013 17:52:12 +0100 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
Thu, 05 Dec 2013 17:51:29 +0100 |
wenzelm |
merged;
|
file |
diff |
annotate
|
Thu, 05 Dec 2013 16:14:50 +0100 |
wenzelm |
Added tag Isabelle2013-2 for changeset 4dd08fe126ba
|
file |
diff |
annotate
|
Sun, 01 Dec 2013 16:35:38 +0100 |
wenzelm |
Added tag Isabelle2013-2-RC3 for changeset aeb21314d078
|
file |
diff |
annotate
|
Thu, 28 Nov 2013 13:59:00 +0100 |
wenzelm |
Added tag Isabelle2013-2-RC2 for changeset 99b9249b3e05
|
file |
diff |
annotate
|
Sun, 24 Nov 2013 18:06:09 +0100 |
wenzelm |
Added tag Isabelle2013-2-RC1 for changeset 57aefb80b639
|
file |
diff |
annotate
|
Mon, 11 Nov 2013 17:34:44 +0100 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
Mon, 11 Nov 2013 16:40:07 +0100 |
wenzelm |
Added tag Isabelle2013-1 for changeset 9c1f21365326
|
file |
diff |
annotate
|
Thu, 07 Nov 2013 19:35:57 +0100 |
wenzelm |
Added tag Isabelle2013-1-RC4 for changeset 594628261376
|
file |
diff |
annotate
|
Wed, 16 Oct 2013 13:02:35 +0200 |
wenzelm |
Added tag Isabelle2013-1-RC3 for changeset fbcaa9f08879
|
file |
diff |
annotate
|
Wed, 09 Oct 2013 13:40:14 +0200 |
wenzelm |
Added tag Isabelle2013-1-RC2 for changeset 782e430e6a83
|
file |
diff |
annotate
|
Thu, 03 Oct 2013 17:03:20 +0200 |
wenzelm |
Added tag Isabelle2013-1-RC1 for changeset c37100233af7
|
file |
diff |
annotate
|
Thu, 21 Feb 2013 15:35:09 +0100 |
wenzelm |
removed obsolete tags;
|
file |
diff |
annotate
|
Wed, 13 Feb 2013 12:06:21 +0100 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
Tue, 12 Feb 2013 14:27:14 +0100 |
wenzelm |
Added tag Isabelle2013 for changeset d90218288d51
|
file |
diff |
annotate
|
Thu, 07 Feb 2013 12:08:37 +0100 |
wenzelm |
Added tag Isabelle2013-RC3 for changeset 8cf38c6b33f8
|
file |
diff |
annotate
|
Mon, 28 Jan 2013 15:45:54 +0100 |
wenzelm |
Added tag Isabelle2013-RC2 for changeset 7fc61bfb1c2d
|
file |
diff |
annotate
|
Sun, 20 Jan 2013 15:35:01 +0100 |
wenzelm |
Added tag Isabelle2013-RC1 for changeset 2c3d0cb151c0
|
file |
diff |
annotate
|
Wed, 23 May 2012 11:53:17 +0200 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
Tue, 22 May 2012 19:02:17 +0200 |
wenzelm |
Added tag Isabelle2012 for changeset 21c42b095c84
|
file |
diff |
annotate
|
Thu, 17 May 2012 16:04:39 +0200 |
wenzelm |
Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a
|
file |
diff |
annotate
|
Mon, 07 May 2012 21:38:12 +0200 |
wenzelm |
Added tag Isabelle2012-RC2 for changeset 1636ff4c6243
|
file |
diff |
annotate
|
Wed, 02 May 2012 22:40:28 +0200 |
wenzelm |
Added tag Isabelle2012-RC1 for changeset ec5d54029664
|
file |
diff |
annotate
|
Mon, 10 Oct 2011 11:10:45 +0200 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
Sun, 09 Oct 2011 17:06:19 +0200 |
wenzelm |
Added tag Isabelle2011-1 for changeset 76fef3e57004
|
file |
diff |
annotate
|
Mon, 03 Oct 2011 11:16:51 +0200 |
wenzelm |
Added tag Isabelle2011-1-RC2 for changeset a45121ffcfcb
|
file |
diff |
annotate
|
Mon, 26 Sep 2011 21:17:25 +0200 |
wenzelm |
Added tag Isabelle2011-1-RC1 for changeset 24ad77c3a147
|
file |
diff |
annotate
|
Sun, 30 Jan 2011 22:44:02 +0100 |
wenzelm |
removed obsolete test tags;
|
file |
diff |
annotate
|
Sun, 30 Jan 2011 18:36:35 +0100 |
wenzelm |
Added tag Isabelle2011 for changeset 6d736d983d5c
|
file |
diff |
annotate
|
Thu, 27 Jan 2011 17:37:42 +0100 |
wenzelm |
Added tag isa2011-test3 for changeset 55a45051b220
|
file |
diff |
annotate
|