| 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
|