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