# HG changeset patch
# User wenzelm
# Date 1275075444 -7200
# Node ID 6f3c9ed34689f980b94b545e174133469ef386e6
# Parent  be764a7adb10639fbe4e0ee92073c16da19790e2
more compiler warnings;

diff -r be764a7adb10 -r 6f3c9ed34689 src/Tools/jEdit/nbproject/project.properties
--- a/src/Tools/jEdit/nbproject/project.properties	Fri May 28 21:17:59 2010 +0200
+++ b/src/Tools/jEdit/nbproject/project.properties	Fri May 28 21:37:24 2010 +0200
@@ -76,6 +76,6 @@
 source.encoding=UTF-8
 src.dir=${file.reference.isabelle-jedit-src}
 scalac.compilerargs=
-scalac.deprecation=no
-scalac.unchecked=no
+scalac.deprecation=yes
+scalac.unchecked=yes