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