Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
actually test smlnj;
authorwenzelm
Wed, 02 Jun 2010 15:38:27 +0200
changeset 37285085cbd6a2a58
parent 37284 a1b0201584cd
child 37286 344468462338
actually test smlnj;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
     1.1 --- a/Admin/CHECKLIST	Wed Jun 02 15:36:24 2010 +0200
     1.2 +++ b/Admin/CHECKLIST	Wed Jun 02 15:38:27 2010 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  Checklist for official releases
     1.5  ===============================
     1.6  
     1.7 -- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;
     1.8 +- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0, smlnj;
     1.9  
    1.10  - test Proof General;
    1.11
wneuper/isa