Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more release tests;
authorwenzelm
Tue, 28 Feb 2012 17:11:18 +0100
changeset 46729 046ea3c1000e
parent 46728 85f8e3932712
child 46730 e3b99d0231bc
more release tests;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Tue Feb 28 16:43:32 2012 +0100
+++ b/Admin/CHECKLIST	Tue Feb 28 17:11:18 2012 +0100
@@ -34,6 +34,10 @@
     etc/components
     lib/html/library_index_content.template
 
+- test contrib components:
+    x86_64-linux without 32bit C/C++ libraries
+    Mac OS X Leopard
+
 
 Packaging
 =========
isabelle