Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/CHECKLIST
changeset 47408 63c05991882e
parent 46729 046ea3c1000e
child 47834 4e247a648a01 
--- a/Admin/CHECKLIST	Mon Apr 09 20:42:05 2012 +0200
+++ b/Admin/CHECKLIST	Mon Apr 09 20:57:23 2012 +0200
@@ -34,6 +34,9 @@
     etc/components
     lib/html/library_index_content.template
 
+- test separate compilation of Isabelle/Scala PIDE sources:
+    Admin/build jars_test
+
 - test contrib components:
     x86_64-linux without 32bit C/C++ libraries
     Mac OS X Leopard
isabelle