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 47834 4e247a648a01
parent 47408 63c05991882e
child 47838 47d213b10fd7 
--- 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