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 compiler warnings;
authorwenzelm
Fri, 28 May 2010 21:37:24 +0200
changeset 37176 6f3c9ed34689
parent 37175 be764a7adb10
child 37177 17331ca75044
more compiler warnings;
src/Tools/jEdit/nbproject/project.properties file | annotate | diff | comparison | revisions 
--- 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
isabelle