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 CHECKLIST;
authorwenzelm
Sun, 29 Apr 2012 20:42:09 +0200
changeset 47834 4e247a648a01
parent 47833 12cb7b5d4b77
child 47837 ddc7921701c5
more CHECKLIST;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Sun Apr 29 19:03:57 2012 +0200
+++ b/Admin/CHECKLIST	Sun Apr 29 20:42:09 2012 +0200
@@ -37,6 +37,9 @@
 - test separate compilation of Isabelle/Scala PIDE sources:
     Admin/build jars_test
 
+- test Isabelle/jEdit:
+    print buffer
+
 - test contrib components:
     x86_64-linux without 32bit C/C++ libraries
     Mac OS X Leopard
isabelle