# HG changeset patch
# User wenzelm
# Date 1335724929 -7200
# Node ID 4e247a648a01d149eae69faa6dd8c13b99435f32
# Parent  12cb7b5d4b77dfaa3597f267732262b2ec7df42c
more CHECKLIST;

diff -r 12cb7b5d4b77 -r 4e247a648a01 Admin/CHECKLIST
--- 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